LtU Forum

 TopicRepliesCreated sort iconLast reply
 Restructor: Full Program Automatic Refactoring81 year 2 weeks ago
by Wouter
1 year 1 week ago
by gasche
 Free links to all (or practically all) recent SIGPLAN papers21 year 2 weeks ago
by emery
1 year 2 weeks ago
by johnwcowan
 SW verification continues01 year 5 weeks ago
by hbrandl
n/a
 Finding Solutions vs. Verifying Solutions391 year 5 weeks ago
by Ivan Vodišek
1 year 3 weeks ago
by Blaisorblade
 the type of eval in Shen01 year 5 weeks ago
by Mark Tarver
n/a
 Any thoughts on WanaDecrypt0r?91 year 5 weeks ago
by marco
1 year 4 weeks ago
by Blaisorblade
 Prove: 'Cont r a = (a -> r) -> r' forms a monad471 year 6 weeks ago
by marco
1 year 5 weeks ago
by marco
 Implementing typing rules -- how do I implement non-syntactic rules?21 year 6 weeks ago
by osa1
1 year 6 weeks ago
by osa1
 Egel Language v0.101 year 8 weeks ago
by marco
n/a
 A refutation of Gödel's first incompleteness theorem1611 year 10 weeks ago
by Enrique Perez Arnaud
1 year 4 weeks ago
by Enrique Perez Arnaud
 Making a one-pass compiler by generating fexprs that generate code41 year 10 weeks ago
by Josh Scholar
1 year 10 weeks ago
by Keean Schupke
 New PL forums: plforums.org31 year 10 weeks ago
by glebm
1 year 10 weeks ago
by glebm
 Compiler IDE API161 year 10 weeks ago
by Keean Schupke
1 year 10 weeks ago
by Keean Schupke
 Logic Production Systems (LPS)31 year 13 weeks ago
by Neil Madden
1 year 12 weeks ago
by Enrique Perez Arnaud
 Rust's language ergonomics initiative41 year 15 weeks ago
by gasche
1 year 15 weeks ago
by Charles Stewart
 notes on a C-ish memory manager design231 year 17 weeks ago
by Rys McCusker
1 year 12 weeks ago
by dmbarbour
 Controlling Reductions81 year 17 weeks ago
by skaller
1 year 15 weeks ago
by Keean Schupke
 CFL parsing, and another way to look at the CNF...511 year 17 weeks ago
by Cyril
1 year 15 weeks ago
by Cyril
 Refining Structured Type System571 year 19 weeks ago
by Ivan Vodišek
25 weeks 1 hour ago
by Ivan Vodišek
 Cool stuff from recent conferences01 year 19 weeks ago
by Ehud Lamm
n/a
 Céu: Structured Synchronous Reactive Programming (SSRP)71 year 20 weeks ago
by fsantanna
1 year 19 weeks ago
by fsantanna
 Archaeological dig to find the first Lisp example of the Y-combinator11 year 20 weeks ago
by filipallberg
1 year 20 weeks ago
by John Shutt
 How will look a modern imperative language? All love here is functional only..851 year 20 weeks ago
by mamcx
1 year 17 weeks ago
by mtenright
 Inference of Polymorphic Recursion161 year 22 weeks ago
by Matt M
1 year 19 weeks ago
by Cyril
 Generic overload resolution141 year 22 weeks ago
by Jon Purdy
1 year 21 weeks ago
by Keean Schupke
XML feed