type sort icontitleauthorlast post
Forum topicReversing operations Pablo Barenbaum2017-09-08 16:08
Forum topicSK Calculus not Consider SeKsy? cdiggins2017-06-10 16:33
Forum topicWhat is Intuitive? raould2016-05-12 23:55
StoryWhen Is A Functional Program Not A Functional Program? neelk2015-11-20 21:56
Forum topicTesting first year programming students Peter A Jonsson2014-07-20 20:43
StoryFifty Years of BASIC, the Programming Language That Made Computers Personal bashyal2014-05-30 20:21
Forum topicWittgenstein versus Turing on Inconsistency Robustness Hewitt2012-03-05 22:15
StoryThe Algebra of Data, and the Calculus of Mutation Manuel J. Simoni2012-02-15 00:19
Forum topicData, Codata, and Their Implications for Equality, and Serialization Douglas McClean2011-10-14 15:45
Forum topicMetaphors we Program By: Space, Action and Society in Java Pierre-Alexandre Voye2011-10-04 19:21
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