skip to content
UC Santa Cruz
User Tools
Log In
Site Tools
Search
Tools
Show pagesource
Old revisions
Backlinks
Recent Changes
Media Manager
Sitemap
Log In
>
Recent Changes
Media Manager
Sitemap
You are here:
slang
»
readinggroup
»
winter10
readinggroup:winter10
Winter 2010
January 13
The Essence of Functional Programming
, Philip Wadler, POPL 1992.
January 27
The Essence of Functional Programming; Part 2: experience report
February 3
The Mechanical Evaluation of Expressions
, Peter Landin, The Computer Journal, 1964.
Introduces the
SECD
machine for running functional programs.
For some context:
A Rational Deconstruction of Landin's SECD Machine
, Olivier Danvy, 2003.
February 17
The Next 700 Programming Languages
, Peter Landin, CACM 1966.
Some papers on the stack
Call-by-name, call-by-value and the λ-calculus
, Gordon Plotkin, Theoretical Computer Science 1975.
Definitional interpreters for higher-order programming languages
, John Reynolds, 1972
On the relation between direct and continuation semantics
, John Reynolds, 1974
Continuations: A Mathematical Semantics for Handling Full Jumps
, Christopher Strachey and Christopher Wadsworth, 1974.
Hints for Programming Language Design
, Tony Hoare, 1974.
Computational lambda-calculus and monads
, Eugenio Moggi, 1989.
Meta-object protocols
Info flow and concurrency
Higher-order abstract syntax
Program slicing
More from Benjamin Pierce's
collections
On Flow-Sensitive Types
readinggroup/winter10.txt
· Last modified: 2014/03/04 03:33 by
cschuster
Page Tools
Show pagesource
Old revisions
Backlinks
Back to top