S. Clover

typetitleauthorlast post sort icon
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
StoryTropical Semirings neelk2010-12-10 15:56
Forum topicRecursion over the structure of a type giuseppemag2010-12-01 02:50
StoryConservative Logic James Iry2010-11-16 01:17
StoryUsing Hackage to Inform Language Design bashyal2010-10-26 15:40
Forum topicCompiler Design Q&A Site gorauskas2010-10-21 11:10
Forum topicMildly Extended MixFix shap2010-09-23 02:15
Forum topicJ's concepts rank, composition, and GC Thomas Lord2010-09-18 03:47
StoryIs Transactional Programming Actually Easier? Z-Bo2010-09-10 18:31
StoryWhat Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common neelk2010-09-09 13:41
Forum topicTheoretical Computer Science StackExchange Beta now open S. Clover2010-08-30 20:58
Forum topic"Critical code studies" Travis Brown2010-05-19 18:29
Forum topicmore power and less verbiage el-vadimo2010-01-11 21:02
Forum topicIs (probabilistic) non-determinism pure ? Steven Obua2009-12-30 21:38
StoryEleven Theses on Clojure Ehud Lamm2009-12-15 08:25
StoryDifferentiating Parsers Manuel J. Simoni2009-12-09 23:48
StoryJohn Hughes on Erlang and Haskell James Iry2009-12-02 10:16
StoryTim Bray on Clojure and Erlang Ehud Lamm2009-11-04 23:03
StoryDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson Z-Bo2009-10-26 23:13
Forum topicGenerating nested data types at runtime rob myers2009-03-22 17:56
Forum topicUsing coalgebraic structures for traversing ADTs lazily marco2009-03-10 01:49
Forum topicLogic programming and finance S. Clover2008-09-10 10:07
Forum topicSystems programming in languages other than C? Gregory Propf2008-08-05 19:58
Forum topictime as a first class value? shahbaz2008-02-20 01:48