Corpus ID: 50159501

Lambda-calculus models of programming languages.

@inproceedings{Morris1969LambdacalculusMO,
  title={Lambda-calculus models of programming languages.},
  author={J. Morris},
  year={1969}
}
  • J. Morris
  • Published 1969
  • Computer Science
  • Massachusetts Institute of Technology, Alfred P. Sloan School of Management. Thesis. 1969. Ph.D. 
    387 Citations
    Böhm's theorem for Berarducci trees
    • 3
    Essentials of programming languages
    • 348
    • PDF
    A Filter Model for Concurrent lambda-Calculus
    • 56
    On the description of time varying systems in lambda - calculus
    • G. Ausiello
    • Computer Science
    • Lambda-Calculus and Computer Science Theory
    • 1975
    An Extended Polymorphic Type System for Applicative Languages
    • 40
    Another recursion induction principle
    • J. Morris
    • Mathematics, Computer Science
    • CACM
    • 1971
    • 42

    References

    SHOWING 1-10 OF 29 REFERENCES
    Programming Linguistics
    • 10
    • Highly Influential
    The calculi of lambda-conversion
    • 1,105
    • PDF
    A Data Definition Facility for Programming Languages
    • T. Standish
    • Computer Science
    • Outstanding Dissertations in the Computer Sciences
    • 1967
    • 33
    • PDF
    LISP 1.5 Programmer's Manual
    • 630
    • PDF
    A proposal for definitions in ALGOL
    • 56
    • PDF
    A λ-CALCULUS APPROACH
    • 47
    The next 700 programming languages
    • 670
    • PDF
    Word and Object
    • 6,331