LtU Forum

 TopicRepliesCreatedLast reply sort icon
 How to name the inverse functions of constructors272 years 5 weeks ago
by hbrandl
1 year 23 weeks ago
by L Spice
 C runtime type info gimmick which supports scripting11 year 24 weeks ago
by Rys McCusker
1 year 24 weeks ago
by Rys McCusker
 Restructor: Full Program Automatic Refactoring81 year 26 weeks ago
by Wouter
1 year 25 weeks ago
by gasche
 Abstractionless programming1914 years 25 weeks ago
by Wouter
1 year 26 weeks ago
by Wouter
 SK Calculus not Consider SeKsy?2912 years 2 weeks ago
by cdiggins
1 year 26 weeks ago
by Wouter
 Living it up with a Live Programming Language3611 years 38 weeks ago
by Sean McDirmid
1 year 26 weeks ago
by Wouter
 Free links to all (or practically all) recent SIGPLAN papers21 year 27 weeks ago
by emery
1 year 27 weeks ago
by johnwcowan
 Finding Solutions vs. Verifying Solutions391 year 30 weeks ago
by Ivan Vodišek
1 year 28 weeks ago
by Blaisorblade
 A refutation of Gödel's first incompleteness theorem1611 year 34 weeks ago
by Enrique Perez Arnaud
1 year 28 weeks ago
by Enrique Perez Arnaud
 Any thoughts on WanaDecrypt0r?91 year 30 weeks ago
by marco
1 year 29 weeks ago
by Blaisorblade
 SW verification continues01 year 30 weeks ago
by hbrandl
n/a
 Prove: 'Cont r a = (a -> r) -> r' forms a monad471 year 30 weeks ago
by marco
1 year 30 weeks ago
by marco
 the type of eval in Shen01 year 30 weeks ago
by Mark Tarver
n/a
 Practical Principled FRP: Forget the past, change the future, FRPNow!633 years 23 weeks ago
by Sean McDirmid
1 year 30 weeks ago
by Keean Schupke
 Implementing typing rules -- how do I implement non-syntactic rules?21 year 31 weeks ago
by osa1
1 year 30 weeks ago
by osa1
 Domain specific language for playing games421 year 48 weeks ago
by davidb
1 year 31 weeks ago
by marco
 The Two Dualities of Computation: Negative and Fractional Types114 years 29 weeks ago
by Greg Buchholz
1 year 32 weeks ago
by Ross Angle
 Egel Language v0.101 year 33 weeks ago
by marco
n/a
 Making a one-pass compiler by generating fexprs that generate code41 year 34 weeks ago
by Josh Scholar
1 year 34 weeks ago
by Keean Schupke
 Compiler IDE API161 year 35 weeks ago
by Keean Schupke
1 year 34 weeks ago
by Keean Schupke
 New PL forums: plforums.org31 year 34 weeks ago
by glebm
1 year 34 weeks ago
by glebm
 Conversion of 'functional' to 'imperative' algorithms: is it possible?2013 years 21 weeks ago
by Achilleas Margaritis
1 year 36 weeks ago
by marco
 Logic Production Systems (LPS)31 year 37 weeks ago
by Neil Madden
1 year 37 weeks ago
by Enrique Perez Arnaud
 notes on a C-ish memory manager design231 year 41 weeks ago
by Rys McCusker
1 year 37 weeks ago
by dmbarbour
 Rust's language ergonomics initiative41 year 40 weeks ago
by gasche
1 year 39 weeks ago
by Charles Stewart
XML feed