Lambda the Ultimate
- Call-by-Name, Call-by Value and the Lambda Calculus http://homepages.inf.ed.ac.uk/gdp/publications/cbn_cbv_lambda.pdf 10 comments Lambda Calculus
Linking pages
- GitHub - nuprl/10PL: 10 papers that all PhD students in programming languages ought to know, for some value of 10 https://github.com/nuprl/10PL 0 comments
- GitHub - stereobooster/programming-languages-genealogical-tree: Programming languages genealogical tree https://github.com/stereobooster/programming-languages-genealogical-tree 0 comments
Related searches:
Search whole site: site:homepages.inf.ed.ac.uk
Search title: Call-by-Name, Call-by Value and the Lambda Calculus
See how to search.