TKB's Home Page
Top
computer
languages
theory
Subcategories
macros
monads
object-oriented
References
comp.compilers companion site
Java is a Language for the Masses
Gilad Bracha, the resident Computational Theologist at Sun, says Java programmers aren't smart enough to use macros.
Lambda the Ultimate on Michael Vanier: LFM's and LFSP's
Lisp Macros
ll-discus mailing list
Normal-order direct-style beta-evaluator with syntax-rules, and the repeated applications of call/cc
OOP Is Much Better in Theory Than in Practice
Programming Language Theory Texts Online
SBCL Internals
Subtyping
SYSTEM CT: Constrained Types for Overloading
The Inheritance Problem
Type Systems for Modularity
TKB's Home Page
Last generated on 2010/05/04 by tkb