Bruce J. MacLennan

• Principles of programming languages
• A view of object-oriented programming
• Elements of programming linguistics. Part I, The lambda calculus and its implementation
• Experience with [omega]
• Functional Programming
• Functional programming
• Principles of Programming Languages
• Theoretical and technological advancements in nanotechnology and molecular computation
• A commentary on Mill's Logic Book I of names and propositions
• A computer science version of Gödel's theorem
• A relational program for a syntax directed editor
• A simple proof of a generalized Church-Rosser theorem