LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Prove: 'Cont r a = (a -> r) -> r' forms a monad4740 weeks 3 days ago
by marco
39 weeks 6 days ago
by marco
 the type of eval in Shen040 weeks 3 hours ago
by Mark Tarver
n/a
 Practical Principled FRP: Forget the past, change the future, FRPNow!632 years 33 weeks ago
by Sean McDirmid
40 weeks 3 days ago
by Keean Schupke
 Implementing typing rules -- how do I implement non-syntactic rules?241 weeks 1 day ago
by osa1
40 weeks 3 days ago
by osa1
 Domain specific language for playing games421 year 5 weeks ago
by davidb
41 weeks 4 days ago
by marco
 The Two Dualities of Computation: Negative and Fractional Types113 years 39 weeks ago
by Greg Buchholz
42 weeks 5 days ago
by Ross Angle
 Egel Language v0.1043 weeks 1 day ago
by marco
n/a
 Making a one-pass compiler by generating fexprs that generate code444 weeks 3 days ago
by Josh Scholar
44 weeks 2 days ago
by Keean Schupke
 Compiler IDE API1644 weeks 6 days ago
by Keean Schupke
44 weeks 3 days ago
by Keean Schupke
 New PL forums: plforums.org344 weeks 5 days ago
by glebm
44 weeks 4 days ago
by glebm
 Conversion of 'functional' to 'imperative' algorithms: is it possible?2012 years 31 weeks ago
by Achilleas Margaritis
46 weeks 3 days ago
by marco
 Logic Production Systems (LPS)347 weeks 2 days ago
by Neil Madden
47 weeks 1 hour ago
by Enrique Perez Arnaud
 notes on a C-ish memory manager design2351 weeks 2 days ago
by Rys McCusker
47 weeks 3 hours ago
by dmbarbour
 Rust's language ergonomics initiative450 weeks 23 hours ago
by gasche
49 weeks 2 days ago
by Charles Stewart
 CFL parsing, and another way to look at the CNF...5152 weeks 18 hours ago
by Cyril
49 weeks 6 days ago
by Cyril
 Controlling Reductions851 weeks 2 days ago
by skaller
50 weeks 1 day ago
by Keean Schupke
 Process Network for Effects, Monad Alternative321 year 9 weeks ago
by dmbarbour
52 weeks 13 hours ago
by Keean Schupke
 How will look a modern imperative language? All love here is functional only..851 year 2 weeks ago
by mamcx
1 year 1 day ago
by mtenright
 Céu: Structured Synchronous Reactive Programming (SSRP)71 year 2 weeks ago
by fsantanna
1 year 1 week ago
by fsantanna
 Cool stuff from recent conferences01 year 1 week ago
by Ehud Lamm
n/a
 Inference of Polymorphic Recursion161 year 4 weeks ago
by Matt M
1 year 1 week ago
by Cyril
 Archaeological dig to find the first Lisp example of the Y-combinator11 year 2 weeks ago
by filipallberg
1 year 2 weeks ago
by John Shutt
 Generic overload resolution141 year 5 weeks ago
by Jon Purdy
1 year 4 weeks ago
by Keean Schupke
 Unsoundness361 year 5 weeks ago
by skaller
1 year 4 weeks ago
by skaller
 Defining recursive function as a monad (or other solutions)291 year 9 weeks ago
by Ivan Vodišek
1 year 9 weeks ago
by Ivan Vodišek
XML feed