Programming Language Theory: Difference between revisions
No edit summary |
|||
| Line 90: | Line 90: | ||
* Currying: <tt>(λx, y. x + y)</tt> rather than <tt>(λx. (λy. x + y))</tt> | * Currying: <tt>(λx, y. x + y)</tt> rather than <tt>(λx. (λy. x + y))</tt> | ||
* Numeric literals rather than Church encoding | * Numeric literals rather than Church encoding | ||
==Concurrency== | |||
* '''FIXME''' π-calculus, CSP, petri nets... | |||
==Objects== | |||
* '''FIXME''' object calculus, polymorphism... | |||
==Programming Language Design== | ==Programming Language Design== | ||