LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Is Datalog negation(¬) similar to the built-in predicate (≠)?420 weeks 1 day ago
by Milton Silva
20 weeks 11 hours ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)020 weeks 2 days ago
by Sean McDirmid
n/a
 How to name the inverse functions of constructors271 year 2 weeks ago
by hbrandl
20 weeks 2 days ago
by L Spice
 C runtime type info gimmick which supports scripting121 weeks 6 days ago
by Rys McCusker
21 weeks 5 days ago
by Rys McCusker
 Restructor: Full Program Automatic Refactoring823 weeks 4 days ago
by Wouter
22 weeks 5 days ago
by gasche
 Abstractionless programming1913 years 22 weeks ago
by Wouter
23 weeks 4 days ago
by Wouter
 SK Calculus not Consider SeKsy?2910 years 51 weeks ago
by cdiggins
23 weeks 4 days ago
by Wouter
 Living it up with a Live Programming Language3610 years 35 weeks ago
by Sean McDirmid
23 weeks 4 days ago
by Wouter
 Free links to all (or practically all) recent SIGPLAN papers224 weeks 4 days ago
by emery
24 weeks 3 days ago
by johnwcowan
 Refining Structured Type System2040 weeks 6 days ago
by Ivan Vodišek
25 weeks 1 day ago
by Ivan Vodišek
 Finding Solutions vs. Verifying Solutions3927 weeks 1 day ago
by Ivan Vodišek
25 weeks 2 days ago
by Blaisorblade
 A refutation of Gödel's first incompleteness theorem16131 weeks 5 days ago
by Enrique Perez Arnaud
25 weeks 6 days ago
by Enrique Perez Arnaud
 Any thoughts on WanaDecrypt0r?927 weeks 3 days ago
by marco
26 weeks 3 days ago
by Blaisorblade
 SW verification continues027 weeks 1 day ago
by hbrandl
n/a
 Prove: 'Cont r a = (a -> r) -> r' forms a monad4727 weeks 6 days ago
by marco
27 weeks 1 day ago
by marco
 the type of eval in Shen027 weeks 2 days ago
by Mark Tarver
n/a
 Practical Principled FRP: Forget the past, change the future, FRPNow!632 years 21 weeks ago
by Sean McDirmid
27 weeks 5 days ago
by Keean Schupke
 Implementing typing rules -- how do I implement non-syntactic rules?228 weeks 3 days ago
by osa1
27 weeks 5 days ago
by osa1
 Domain specific language for playing games4245 weeks 2 days ago
by davidb
29 weeks 1 hour ago
by marco
 The Two Dualities of Computation: Negative and Fractional Types113 years 26 weeks ago
by Greg Buchholz
30 weeks 7 hours ago
by Ross Angle
 Egel Language v0.1030 weeks 4 days ago
by marco
n/a
 Making a one-pass compiler by generating fexprs that generate code431 weeks 5 days ago
by Josh Scholar
31 weeks 5 days ago
by Keean Schupke
 Compiler IDE API1632 weeks 1 day ago
by Keean Schupke
31 weeks 5 days ago
by Keean Schupke
 New PL forums: plforums.org332 weeks 23 hours ago
by glebm
31 weeks 6 days ago
by glebm
 Conversion of 'functional' to 'imperative' algorithms: is it possible?2012 years 18 weeks ago
by Achilleas Margaritis
33 weeks 5 days ago
by marco
XML feed