Alex Rubinsteyn

typetitleauthor sort iconlast post
Forum topicHow to classify type of ML's exn ? (Naive question) scottmcl2011-09-19 08:06
Forum topiclanguages with call by value only (and maybe closures)? windozer2010-12-10 00:08
Forum topicClosures without function pointers Alex Rubinsteyn2010-11-17 21:12
Forum topicCompiler Design Q&A Site gorauskas2010-10-21 11:10
Forum topicTypes/Ordering of canonical FP compiler transforms and optimizations? scottmcl2010-06-02 01:39
Forum topicGenericity over tuples Alex Rubinsteyn2010-02-03 21:04
Forum topicDifferences between gradual, soft, and dynamic dependent typing? Alex Rubinsteyn2009-02-13 21:59
Forum topichelp with type theory jdgallag2009-01-29 06:50
Forum topicSubtyping + overloading Alex Rubinsteyn2008-11-24 20:24
Forum topicExtensible tuples? Alex Rubinsteyn2008-11-17 18:04
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
StoryHMF: Simple type inference for first-class polymorphism cdiggins2008-04-22 15:06
Forum topicOverloading in a statically typed functional language Alex Rubinsteyn2008-04-01 20:49
StoryThe Manticore Project Chris Rathman2007-10-05 04:27
Forum topicGenerating useful errors in a functional stream parser Alex Rubinsteyn2007-09-13 16:14