S. Clover

typetitle sort iconauthorlast post
Forum topicSeeking thoughtful criticisms of functional programming and languages scottmcl2013-03-31 00:40
Forum topicLanguage Implementation 101 qznc2012-08-09 07:37
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2012-06-30 00:11
Forum topicWhat work in FRP models programs which can change the type of output and input they have? Steven StewartGallus2012-03-12 15:14
StoryKleisli Arrows of Outrageous Fortune Paul Snively2011-05-19 09:24
Forum topicGenerative Grammar-based Computation dmbarbour2011-05-08 06:50
Forum topicReference request: running out of countably many variable names Neil Toronto2011-03-22 10:17
Forum topicWhat is computation? Concurrency versus Turing's Model Hewitt2011-02-22 13:52
StoryThe Habit Programming Language: The Revised Preliminary Report James Iry2011-02-21 01:11
Forum topicThe AST Typing Problem shap2011-01-19 03:15
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