It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
September 7, 2008 | History
Edit

Bruce J. MacLennan

27 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing ebooks only. Would you like to see everything by this author?

  • Cover of: Principles of programming languages: design, evaluation, and implementation

    First published in 1983 10 editions in 1 language — 2 previewable Cover of edition principlesofprog0000macl
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A view of object-oriented programming

    First published in 1983 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Elements of programming linguistics. Part I, The lambda calculus and its implementation

    First published in 1981 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Four relational programs

    First published in 1986 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A commentary on Mill's Logic Book I of names and propositions

    First published in 1983 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A simple, natural notation for application languages

    First published in 1982 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The four forms of [omega]

    First published in 1984 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Preliminary investigation of a calculus of functional differences: fixed differences

    First published in 1986 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Introduction to relational programming

    First published in 1981 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Simple metrics for programming languages

    First published in 1982 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A computer science version of Gödel's theorem

    First published in 1983 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: An algebraic approach to a calculus of functional differences: fixed differences and integrals

    First published in 1987 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The structural analysis of programming languages

    First published in 1981 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Abstraction in the INTEL iAPX-432 prototype systems implementation language

    First published in 1983 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Field computation and nonpropositional knowledge

    First published in 1987 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A simple proof of a generalized Church-Rosser theorem

    First published in 1984 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A relational program for a syntax directed editor

    First published in 1982 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Relational programming

    First published in 1983 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Concurrency and synchronization in the INTEL iAPX-432 prototype systems implementation language

    First published in 1983 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Experience with [omega]: implementation of a prototype programming environment

    First published in 1985 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Bruce J. MacLennan
Subjects
Programming languages (Electronic computers), Computer programming, Syntax, Semantics, Calculus, INTEL iAPX-432 (Computer), LISP (Computer program language), Lambda calculus, Logic programming, Mathematical analysis, Programmeertalen, Programming (Mathematics), Symbolic and mathematical Logic, Abstraction, Algebraic functions, Arithmetic, Artificial intelligence, Comparative and general Grammar, Computer programming languages, Computer programs, Computer software, Correctness, Cybernetics, Foundations, Gödel's theorem
People
John Stuart Mill (1806-1873)

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL229730A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
September 7, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import