LtU Forum

 Topic sort iconRepliesCreatedLast reply
 "Inconsistency Robustness" now available65 years 30 weeks ago
by Hewitt
5 years 28 weeks ago
by Hewitt
 "Language Oriented Programming" Meta Programming System2014 years 28 weeks ago
by raould
14 years 24 weeks ago
by nat
 "Limits to implicit parallelism in functional application"614 years 9 weeks ago
by John DeTreville
14 years 9 weeks ago
by Serguey Zefirov
 "null" is to tagged unions as ???? is to records106 years 50 weeks ago
by Kannan Goundan
6 years 50 weeks ago
by Jules Jacobs
 "Partially evaluating" fexprs?39 years 26 weeks ago
by Manuel J. Simoni
9 years 26 weeks ago
by John Shutt
 "Popular vs. Good" in Programming Languages8616 years 6 weeks ago
by Kevin Greer
16 years 5 weeks ago
by Luke Gorrie
 "Practical" advantages of lazy evaluation 10013 years 40 weeks ago
by chinu
12 years 51 weeks ago
by Peter Van Roy
 "Prep" in programming languages1455 years 32 weeks ago
by Hewitt
5 years 32 weeks ago
by Ross Angle
 "Relational Model Outgrown" CACM May 2013837 years 45 weeks ago
by Hewitt
7 years 43 weeks ago
by Douglas McClean
 "Semi-complete" Boolean Evaluation?2114 years 49 weeks ago
by Riaan Moll
14 years 49 weeks ago
by Nuno Cruces
 "Simple Made Easy" by Rich Hickey and subsequent discussion59 years 19 weeks ago
by shahbaz
5 years 35 weeks ago
by johnwcowan
 "Stretch" languages014 years 48 weeks ago
by Isaac Gouy
n/a
 "The Anatomy of a Loop"7215 years 22 weeks ago
by el-vadimo
15 years 21 weeks ago
by Allan McInnes
 "typed" files OR xml OR meta information for delim. files.615 years 36 weeks ago
by shahbaz
15 years 35 weeks ago
by kenhirsch
 "Very linear" lambda calculus112 years 24 weeks ago
by mikestay
12 years 24 weeks ago
by neelk
 "We Really Don't Know How to Compute!" by Gerald Sussman1789 years 19 weeks ago
by puredanger
9 years 15 weeks ago
by Sean McDirmid
 ''The Paradigms of Programming'' online014 years 6 weeks ago
by Boyko Bantchev
n/a
 'FeML: a skeleton of a femto-ML with nothing but polymorphic variants and functions38 years 38 weeks ago
by spdegabrielle
8 years 37 weeks ago
by tonyg
 'Mindless coding': following proof steps makes algorithms easy56 years 33 weeks ago
by raould
6 years 33 weeks ago
by Sean McDirmid
 (Alice ML + monads - value cells) > Haskell?113 years 29 weeks ago
by Manuel J. Simoni
13 years 29 weeks ago
by Andreas Rossberg
 (Even more) theorems for free?2014 years 11 weeks ago
by Andris Birkmanis
14 years 9 weeks ago
by sigfpe
 (from 2004) Possibly faster Haskell015 years 20 weeks ago
by raould
n/a
 (newbie question) Covariance and contravariance713 years 8 weeks ago
by chihiro
13 years 7 weeks ago
by James Iry
 (noob question) method parameters in co-and-contravariance issue413 years 5 weeks ago
by chihiro
13 years 5 weeks ago
by James Iry
 (Very) Simpleminded kind question911 years 32 weeks ago
by jimdesu
11 years 32 weeks ago
by Adam Chlipala
XML feed