LtU Forum

 Topic sort iconRepliesCreatedLast reply
 "Inconsistency Robustness" now available68 years 33 weeks ago
by Hewitt
8 years 32 weeks ago
by Hewitt
 "Language Oriented Programming" Meta Programming System2017 years 31 weeks ago
by raould
17 years 28 weeks ago
by nat
 "Limits to implicit parallelism in functional application"617 years 13 weeks ago
by John DeTreville
17 years 12 weeks ago
by Serguey Zefirov
 "null" is to tagged unions as ???? is to records1010 years 2 weeks ago
by Kannan Goundan
10 years 1 week ago
by Jules Jacobs
 "Partially evaluating" fexprs?312 years 29 weeks ago
by Manuel J. Simoni
12 years 29 weeks ago
by John Shutt
 "Popular vs. Good" in Programming Languages8619 years 9 weeks ago
by Kevin Greer
19 years 9 weeks ago
by Luke Gorrie
 "Practical" advantages of lazy evaluation 10016 years 43 weeks ago
by chinu
16 years 3 weeks ago
by Peter Van Roy
 "Prep" in programming languages1458 years 36 weeks ago
by Hewitt
8 years 35 weeks ago
by Ross Angle
 "Relational Model Outgrown" CACM May 20138310 years 48 weeks ago
by Hewitt
10 years 46 weeks ago
by Douglas McClean
 "Semi-complete" Boolean Evaluation?2118 years 5 days ago
by Riaan Moll
18 years 3 days ago
by Nuno Cruces
 "Simple Made Easy" by Rich Hickey and subsequent discussion512 years 22 weeks ago
by shahbaz
8 years 39 weeks ago
by johnwcowan
 "Stretch" languages017 years 51 weeks ago
by Isaac Gouy
n/a
 "The Anatomy of a Loop"7218 years 26 weeks ago
by el-vadimo
18 years 25 weeks ago
by Allan McInnes
 "typed" files OR xml OR meta information for delim. files.618 years 39 weeks ago
by shahbaz
18 years 38 weeks ago
by kenhirsch
 "Very linear" lambda calculus115 years 28 weeks ago
by mikestay
15 years 28 weeks ago
by neelk
 "We Really Don't Know How to Compute!" by Gerald Sussman17812 years 22 weeks ago
by puredanger
12 years 19 weeks ago
by Sean McDirmid
 ''The Paradigms of Programming'' online017 years 9 weeks ago
by Boyko Bantchev
n/a
 'FeML: a skeleton of a femto-ML with nothing but polymorphic variants and functions311 years 41 weeks ago
by spdegabrielle
11 years 40 weeks ago
by tonyg
 'Mindless coding': following proof steps makes algorithms easy59 years 37 weeks ago
by raould
9 years 37 weeks ago
by Sean McDirmid
 (Alice ML + monads - value cells) > Haskell?116 years 32 weeks ago
by Manuel J. Simoni
16 years 32 weeks ago
by Andreas Rossberg
 (Even more) theorems for free?2017 years 14 weeks ago
by Andris Birkmanis
17 years 12 weeks ago
by sigfpe
 (from 2004) Possibly faster Haskell018 years 24 weeks ago
by raould
n/a
 (newbie question) Covariance and contravariance716 years 12 weeks ago
by chihiro
16 years 11 weeks ago
by James Iry
 (noob question) method parameters in co-and-contravariance issue416 years 9 weeks ago
by chihiro
16 years 8 weeks ago
by James Iry
 (Very) Simpleminded kind question914 years 36 weeks ago
by jimdesu
14 years 35 weeks ago
by Adam Chlipala
XML feed