discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Self-reference and Logic (2005) [pdf]
http://www.imm.dtu.dk/~tobo/essay.pdf
21 comments
26/8/2018
Reddit
The Matrix Cookbook [pdf]
http://www.imm.dtu.dk/pubdb/views/edoc_download.php/3274/pdf/imm3274.pdf
4 comments
27/7/2008
math
Lambda the Ultimate
Principles of Program Analysis
http://www.imm.dtu.dk/~riis/PPA/ppasup2004.html
0 comments
20/1/2005
Theory
Interpreter Construction Framework
http://www.imm.dtu.dk/~jsm/ulc/
0 comments
12/4/2001
general