Twan van Laarhoven

type	title	author	last post
Story	Pure Subtype Systems I now finally have a proof by Twan van Laarhoven Julien Cretin's idea is to by Twan van Laarhoven At the time, I gave up on by Twan van Laarhoven I believe there are proofs by Twan van Laarhoven Proof of confluence by Twan van Laarhoven	naasking	2014-01-14 06:09
Story	LtU: blog not forum! You can change your username by Twan van Laarhoven	Ehud Lamm	2009-02-14 14:11
Forum topic	Recursive Algorithms that cannot be expresses with Tail-Recursion? Modification is cheating by Twan van Laarhoven	Anon Adderlan	2008-02-19 15:09
Forum topic	Parameteric Polymorphism from a C++ Perspective (good or bad?) Because of overloading you by Twan van Laarhoven	cdiggins	2006-05-10 20:57
Story	Build your own scripting language for Java What does this actually do? by Twan van Laarhoven	Chris Rathman	2006-05-03 01:12
Forum topic	System F with Type Equality Coercions Link to the paper by Twan van Laarhoven	genneth	2006-04-13 21:14
Forum topic	"Semi-complete" Boolean Evaluation? C like languages support both by Twan van Laarhoven	Riaan Moll	2006-03-30 17:56
Forum topic	CaSe SenSitIviTy! What is its purpose in programming language syntax? Case insensitive code is ugly by Twan van Laarhoven	Riaan Moll	2005-11-20 23:29

Lambda the Ultimate