Author

Malcolm C. Newey

Observed names: Malcolm Newey, Newey, Malcolm

Institutions: Australian National University, Utrecht University, Cornell University

Observed institutions: Australian National University, University of Colorado Boulder, Utrecht University, Cornell University, Stanford University

OpenAlex ID: A5111374653

Notes on a problem involving permutations as subsequences.

1973 · Malcolm C. Newey · 26

Theorem proving in higher order logics: emerging trends

1998 · Jim Grundy, Malcolm C. Newey · 16

Axioms and theorems for integers, lists and finite sets in LCF.

1973 · Malcolm C. Newey · 7

Supporting coarse and fine grain parallelism in an extension of ML

1994 · Peter Bailey, Malcolm Newey, et al. · Lecture notes in computer science · 5

Programming language systems

1978 · Malcolm C. Newey, Garth Leslie Wolfendale, et al. · ANU Open Research (Australian National University) · 4

An efficient system for user extendible languages

1968 · Malcolm C. Newey · AFIPS Fall Joint Computer Conference (FJCC) · 4

Implementing ML on distributed memory multiprocessors

1993 · Peter Bailey, Malcolm Newey · ACM SIGPLAN Notices · 3

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

1998 · Grundy, Jim, Newey, Malcolm · Lecture notes in computer science · 2

Axioms and Theorems for Integers, Lists and Finite Sets in Logic for Computable Functions (LCF)

1973 · Malcolm Newey · Defense Technical Information Center (DTIC) · 2

Automated therapy for nonspeaking autistic children

1971 · David Canfield Smith, Malcolm C. Newey, et al. · AFIPS Fall Joint Computer Conference (FJCC) · 2

Theorem Proving in Higher Order Logics : Emerging Trends 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 ; Supplementary Proceedings'

1998 · Jim Grundy, Malcolm C. Newey · 1

Proving Properties of Assembly Language Programs.

1977 · Malcolm C. Newey · IFIP Congress · 1

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

1998 · Jim Grundy, Malcolm C. Newey

Theorem Proving in Higher Order Logics 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1998 : Proceedings'

1998 · Jim Grundy, Malcolm C. Newey

An Efficient System for User Extendible Languages

1899 · Malcolm C. Newey · afips

Works count: 16

Citation count: 73

H-index: 4

I10-index: 2