Changes

Jump to: navigation, search

Paul W. Abrahams

15 bytes added, 14:26, 1 October 2018
no edit summary
=Selected Publications=
<ref>[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Abrahams:Paul_W=.html DBLP: Paul W. Abrahams]</ref>
* [[John McCarthy]], [[Paul W. Abrahams]], [[Daniel Edwards|Daniel J. Edwards]], [[Timothy Hart|Timothy P. Hart]] and , [[Michael Levin|Michael I. Levin]] ('''1962''') ''LISP 1.5 Programmer's Manual''. The M.I.T. Press, second edition (1985) as [http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf pdf] <ref>[http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf/view McCarthy et al. LISP 1.5 Programmer's Manual.] from [[The Computer History Museum]] Software Preservation Group</ref>
* [[Paul W. Abrahams]] ('''1963'''). ''Machine Verification of Mathematical Proof''. Ph.D. Thesis in Mathematics, [[Massachusetts Institute of Technology]], Cambridge, Massachusetts
* [[Paul W. Abrahams]] ('''1966'''). ''A final solution to the Dangling else of ALGOL 60 and related languages''. [[ACM#Communications|Communications of the ACM]] Vol. 9, No. 9
'''[[People|Up one level]]'''
[[Category:Mathematician|Abrahams]]
[[Category:Researcher|Abrahams]]

Navigation menu