gasche

typetitle sort iconauthorlast post
Forum topicThe Myths of Object-Orientation el-vadimo2010-12-21 17:28
Forum topicyacc death revisited Thomas Lord2010-12-21 06:06
StorySapir-Whorf 70 years on bashyal2010-12-20 12:25
StoryA Preliminary Survey on Functional Programming Ehud Lamm2010-12-14 05:28
Forum topicLambda the Ultimate seems an Overstatement (not) Ed Earl Ross2010-12-13 19:44
Forum topicThis class type Denis Bredelet -jido2010-12-08 22:32
Forum topicClojure's Solutions to the Expression Problem fogus2010-11-27 07:21
Forum topicErasure and Polymorphism in Pure Type Systems gasche2010-10-29 11:36
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