L Spice

typetitle sort iconauthorlast post
Forum topicAffine Types - Introductory reading filipallberg2017-07-10 02:17
Forum topicHow to name the inverse functions of constructors hbrandl2017-07-03 00:16
Forum topicThe Two Dualities of Computation: Negative and Fractional Types Greg Buchholz2017-04-26 16:36
StorySecond-order logic explained in plain English Charles Stewart2016-02-19 12:40
Forum topicWhen are Actors appropriate? raould2015-07-21 16:25
Forum topicMaking implicits less powerful? Vladimir Slepnev2015-02-20 16:07
Forum topicHow can middle school algebra help with domain specific languages? shahbaz2015-01-21 17:18
Forum topicOptimisation by repeated beta- and eta-reduction L Spice2014-09-22 01:00
Forum topicPOPL 2014 proceedings available freely for all gasche2014-02-08 00:34
StoryThe Three Laws of Programming Language Design bashyal2013-07-04 14:32
Forum topicUnits and Numerical niceties. Ray Dillinger2013-01-31 16:27
Forum topicWhy prolog is by far the best, most productive, easiest programming language marshallp2012-08-23 03:24
Forum topic...PHP language research omouse2011-08-31 18:33
Forum topicLiterate Programming: Retrospect and Prospects el-vadimo2011-07-20 21:10
Forum topicIteration function in lambda calculus kmisd2011-05-06 10:32
Forum topicThe Grafwegen Hi Compiler named Hic release 0.1 marco2011-04-24 10:41
Forum topicModern Eiffel hbrandl2011-03-27 18:56
Forum topicReference request: running out of countably many variable names Neil Toronto2011-03-22 10:17
Forum topicBabel-17 v0.2 spec is out Steven Obua2010-12-11 00:22
Forum topicJ's concepts rank, composition, and GC Thomas Lord2010-09-18 03:47
Forum topicLooking for a language like... Ed Earl Ross2010-08-04 18:34
StoryState of the art C compiler optimization tricks Leon P Smith2010-07-10 20:34
Forum topicFormal treatments (or examples of) of "function concatenation"? John Nowak2010-04-05 01:32
Forum topicAlternative method for defining statically typed variables Josh-Meredith2010-03-09 14:56
StoryContinuity Analysis of Programs neelk2010-02-09 04:12