LtU Forum

 TopicRepliesCreated sort iconLast reply
 Restructor: Full Program Automatic Refactoring823 weeks 2 days ago
by Wouter
22 weeks 3 days ago
by gasche
 Free links to all (or practically all) recent SIGPLAN papers224 weeks 2 days ago
by emery
24 weeks 2 days ago
by johnwcowan
 SW verification continues026 weeks 6 days ago
by hbrandl
n/a
 Finding Solutions vs. Verifying Solutions3927 weeks 2 min ago
by Ivan Vodišek
25 weeks 19 hours ago
by Blaisorblade
 the type of eval in Shen027 weeks 21 hours ago
by Mark Tarver
n/a
 Any thoughts on WanaDecrypt0r?927 weeks 1 day ago
by marco
26 weeks 1 day ago
by Blaisorblade
 Prove: 'Cont r a = (a -> r) -> r' forms a monad4727 weeks 4 days ago
by marco
27 weeks 11 hours ago
by marco
 Implementing typing rules -- how do I implement non-syntactic rules?228 weeks 2 days ago
by osa1
27 weeks 4 days ago
by osa1
 Egel Language v0.1030 weeks 2 days ago
by marco
n/a
 A refutation of Gödel's first incompleteness theorem16131 weeks 3 days ago
by Enrique Perez Arnaud
25 weeks 4 days ago
by Enrique Perez Arnaud
 Making a one-pass compiler by generating fexprs that generate code431 weeks 4 days ago
by Josh Scholar
31 weeks 3 days ago
by Keean Schupke
 New PL forums: plforums.org331 weeks 6 days ago
by glebm
31 weeks 5 days ago
by glebm
 Compiler IDE API1632 weeks 4 hours ago
by Keean Schupke
31 weeks 4 days ago
by Keean Schupke
 Logic Production Systems (LPS)334 weeks 3 days ago
by Neil Madden
34 weeks 19 hours ago
by Enrique Perez Arnaud
 Rust's language ergonomics initiative437 weeks 1 day ago
by gasche
36 weeks 3 days ago
by Charles Stewart
 notes on a C-ish memory manager design2338 weeks 3 days ago
by Rys McCusker
34 weeks 21 hours ago
by dmbarbour
 Controlling Reductions838 weeks 3 days ago
by skaller
37 weeks 2 days ago
by Keean Schupke
 CFL parsing, and another way to look at the CNF...5139 weeks 1 day ago
by Cyril
37 weeks 6 hours ago
by Cyril
 Refining Structured Type System2040 weeks 4 days ago
by Ivan Vodišek
24 weeks 6 days ago
by Ivan Vodišek
 Cool stuff from recent conferences040 weeks 6 days ago
by Ehud Lamm
n/a
 Céu: Structured Synchronous Reactive Programming (SSRP)741 weeks 5 days ago
by fsantanna
40 weeks 4 days ago
by fsantanna
 Archaeological dig to find the first Lisp example of the Y-combinator142 weeks 15 hours ago
by filipallberg
42 weeks 13 hours ago
by John Shutt
 How will look a modern imperative language? All love here is functional only..8542 weeks 15 hours ago
by mamcx
39 weeks 2 days ago
by mtenright
 Inference of Polymorphic Recursion1643 weeks 2 days ago
by Matt M
41 weeks 9 hours ago
by Cyril
 Generic overload resolution1444 weeks 2 days ago
by Jon Purdy
43 weeks 1 day ago
by Keean Schupke
XML feed