Logic and computation (seminar)
december 2010 by stuhlmueller
References on the relation between programs, proofs, and (undelimited and delimited) continuations.
compsci
logic
continuations
references
december 2010 by stuhlmueller
Programs as data (seminar)
december 2010 by stuhlmueller
References on program generation, partial evaluation, reflection, and other techniques that treat programs as data.
compsci
compilation
references
december 2010 by stuhlmueller