LtU Forum

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