type sort icontitleauthorlast post
StoryPCF and LCF Charles Stewart2011-06-09 21:20
StoryDerivatives of Regular Expressions neelk2010-11-29 23:49
StoryConservative Logic James Iry2010-11-16 01:17
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
StoryOmega - Language of the Future Manuel J. Simoni2010-10-01 13:17
StoryFunctional Pearl: Species and Functors and Types, Oh My! Matt Hellige2010-07-05 09:38
StoryMore iPhone PL lockdown... Goodbye Scratch! Matt Hellige2010-06-18 14:34
StoryRecent Progress in Quantum Algorithms Manuel J. Simoni2010-03-16 18:22
Forum topica "thank you" to You raould2010-03-16 09:09
StoryThe Role of Composition in Computer Programming James Hague2010-02-19 01:25
Forum topicAlternatives to parentheses for grouping jason stumpf2010-02-10 13:28
Forum topicExtreme non-choosiness L Spice2010-02-04 22:23
Forum topicClaiming Infinity Julian Rohrhuber2010-02-03 12:53
Forum topicQuantum Lambda Calculus Wolf Logan2010-01-24 22:41
Forum topicAcademic advice: Mathematics or Computer Science? guerrilla_thought2010-01-23 19:57
StoryCausal Commutative Arrows and Their Optimization neelk2009-11-05 02:42
StoryMinimal FORTH compiler and tutorial Ehud Lamm2009-11-03 02:39
StoryThe End of the GPU Roadmap Noel2009-10-23 10:03
Forum topicProgramming (language) puzzles Chung-chieh Shan2009-10-02 17:42
Forum topicBest Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! kaveh.shahbazian2009-09-25 08:54
Forum topicfunctions vs procedures.. ceti3312009-08-20 18:05
StoryComputer music: a bastion of interactive visual dataflow languages Peter Van Roy2009-06-19 03:30
Forum topicthe Chinese natual language Zhu Chongkai2009-06-01 13:06
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
StoryParameterized Notions of Computation neelk2009-02-17 19:38