gasche

typetitle sort iconauthorlast post
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
Forum topicA functional-programming view of time Bakul Shah2010-10-16 02:14
StoryXtext: An IDE on the cheap bashyal2010-10-15 21:46
StoryOmega - Language of the Future Manuel J. Simoni2010-10-01 13:17
Forum topicMildly Extended MixFix shap2010-09-23 02:15
Forum topicDo I need a forall if type parameters are syntactically distinguishable from type constructors? Manuel J. Simoni2010-09-07 15:13
StoryType Classes as Objects and Implicits Paul Snively2010-08-26 06:09
StoryWhy Undergraduates Should Learn the Principles of Programming Languages Z-Bo2010-07-15 09:08
StoryFunctional Pearl: Species and Functors and Types, Oh My! Matt Hellige2010-07-05 09:38
Forum topicFormal treatments (or examples of) of "function concatenation"? John Nowak2010-04-05 01:32
Forum topicQuantum Lambda Calculus Wolf Logan2010-01-24 22:41
Forum topicReview NP-complete Library Versioning Problem Jaroslav Tulach2009-11-30 17:55
Forum topicResolved Debates in Syntax Design ? gasche2009-08-13 00:06
Forum topic(Very) Simpleminded kind question jimdesu2009-07-26 14:11
Forum topicLambda Cube and programming languages Gregory Propf2009-07-23 21:27