LtU Forum

 TopicRepliesCreated sort iconLast reply
 hobbes, Morgan Stanley OSS2231 weeks 3 days ago
by Kalani
29 weeks 6 days ago
by Z-Bo
 /join the #proglangdesign channel on Freenode032 weeks 19 hours ago
by Dustin DeWeese
n/a
 Just entertainment: Click, click, click!232 weeks 2 days ago
by marco
31 weeks 6 days ago
by marco
 Is Datalog negation(¬) similar to the built-in predicate (≠)?433 weeks 2 days ago
by Milton Silva
33 weeks 1 day ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)033 weeks 2 days ago
by Sean McDirmid
n/a
 C runtime type info gimmick which supports scripting134 weeks 6 days ago
by Rys McCusker
34 weeks 5 days ago
by Rys McCusker
 What would be involved in moving logic beyond FOL?10736 weeks 24 min ago
by Charles Stewart
31 weeks 5 days ago
by Neil Madden
 Restructor: Full Program Automatic Refactoring836 weeks 4 days ago
by Wouter
35 weeks 5 days ago
by gasche
 Free links to all (or practically all) recent SIGPLAN papers237 weeks 4 days ago
by emery
37 weeks 4 days ago
by johnwcowan
 SW verification continues040 weeks 1 day ago
by hbrandl
n/a
 Finding Solutions vs. Verifying Solutions3940 weeks 1 day ago
by Ivan Vodišek
38 weeks 2 days ago
by Blaisorblade
 the type of eval in Shen040 weeks 2 days ago
by Mark Tarver
n/a
 Any thoughts on WanaDecrypt0r?940 weeks 3 days ago
by marco
39 weeks 3 days ago
by Blaisorblade
 Prove: 'Cont r a = (a -> r) -> r' forms a monad4740 weeks 6 days ago
by marco
40 weeks 2 days ago
by marco
 Implementing typing rules -- how do I implement non-syntactic rules?241 weeks 4 days ago
by osa1
40 weeks 6 days ago
by osa1
 Egel Language v0.1043 weeks 4 days ago
by marco
n/a
 A refutation of Gödel's first incompleteness theorem16144 weeks 5 days ago
by Enrique Perez Arnaud
38 weeks 6 days ago
by Enrique Perez Arnaud
 Making a one-pass compiler by generating fexprs that generate code444 weeks 6 days ago
by Josh Scholar
44 weeks 5 days ago
by Keean Schupke
 New PL forums: plforums.org345 weeks 1 day ago
by glebm
45 weeks 10 hours ago
by glebm
 Compiler IDE API1645 weeks 2 days ago
by Keean Schupke
44 weeks 6 days ago
by Keean Schupke
 Logic Production Systems (LPS)347 weeks 5 days ago
by Neil Madden
47 weeks 2 days ago
by Enrique Perez Arnaud
 Rust's language ergonomics initiative450 weeks 3 days ago
by gasche
49 weeks 5 days ago
by Charles Stewart
 notes on a C-ish memory manager design2351 weeks 5 days ago
by Rys McCusker
47 weeks 2 days ago
by dmbarbour
 Controlling Reductions851 weeks 5 days ago
by skaller
50 weeks 4 days ago
by Keean Schupke
 CFL parsing, and another way to look at the CNF...511 year 2 days ago
by Cyril
50 weeks 2 days ago
by Cyril
XML feed