L Spice

typetitleauthorlast post sort icon
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
Forum topicExtreme non-choosiness L Spice2010-02-04 22:23
Forum topicDepends on what "is" is andrewzboard2010-02-03 18:16
StoryThe Recruitment Theory of Language Origins Z-Bo2010-02-03 07:25
Forum topicIs (probabilistic) non-determinism pure ? Steven Obua2009-12-30 21:38
StorySemantic types: a fresh look at the ideal model for types neelk2009-12-26 11:54
Forum topicChunked sequences: Lookahead laziness L Spice2009-12-21 23:21
Forum topicDirect Inference in Direct Logic(TM) Carl Hewitt2009-12-20 00:34
Forum topicType constructors based on capabilities of type arguments? scottmcl2009-10-28 20:55
Forum topicWhat is a Type? andrew johnson2009-10-28 20:53
Forum topicThe design process for Zimbu ade_oshineye2009-10-22 22:27
Forum topicmeta-Scheme? raould2009-10-19 22:47
Forum topicCourse in mathematical logic with applications to computer science L Spice2009-10-19 07:01
Forum topicReceiver knowing the sender? BigZaphod2009-08-25 21:27
StoryExpressive Modes and Species of Language Charles Stewart2009-08-25 15:11
Forum topicFP, auto-generated code.. ceti3312009-08-19 15:11
Forum topicAdvanced Types in Qi shahbaz2009-08-02 17:00
Forum topicThe Church-Turing Thesis: Breaking the Myth naasking2009-07-18 00:45
Forum topicMost powerful terminating semantics? dataangel2009-07-15 16:49
Forum topicA programming language with extensible syntax metaprogrammer2009-06-30 17:52
Forum topicStupid Question. Matt Estes2009-06-26 20:47