LtU Forum

 TopicRepliesCreatedLast reply sort icon
 What would be involved in moving logic beyond FOL?571 week 3 days ago
by Charles Stewart
3 hours 45 min ago
by AntC
 C runtime type info gimmick which supports scripting13 days 13 hours ago
by Rys McCusker
2 days 11 hours ago
by Rys McCusker
 Restructor: Full Program Automatic Refactoring82 weeks 1 day ago
by Wouter
1 week 2 days ago
by gasche
 Abstractionless programming1913 years 1 week ago
by Wouter
2 weeks 1 day ago
by Wouter
 SK Calculus not Consider SeKsy?2910 years 30 weeks ago
by cdiggins
2 weeks 1 day ago
by Wouter
 Living it up with a Live Programming Language3610 years 13 weeks ago
by Sean McDirmid
2 weeks 1 day ago
by Wouter
 Free links to all (or practically all) recent SIGPLAN papers23 weeks 1 day ago
by emery
3 weeks 1 day ago
by johnwcowan
 Refining Structured Type System2019 weeks 3 days ago
by Ivan Vodišek
3 weeks 5 days ago
by Ivan Vodišek
 Finding Solutions vs. Verifying Solutions395 weeks 5 days ago
by Ivan Vodišek
3 weeks 6 days ago
by Blaisorblade
 A refutation of Gödel's first incompleteness theorem16110 weeks 2 days ago
by Enrique Perez Arnaud
4 weeks 3 days ago
by Enrique Perez Arnaud
 Any thoughts on WanaDecrypt0r?96 weeks 11 hours ago
by marco
5 weeks 13 hours ago
by Blaisorblade
 SW verification continues05 weeks 5 days ago
by hbrandl
n/a
 Prove: 'Cont r a = (a -> r) -> r' forms a monad476 weeks 3 days ago
by marco
5 weeks 6 days ago
by marco
 the type of eval in Shen05 weeks 6 days ago
by Mark Tarver
n/a
 Practical Principled FRP: Forget the past, change the future, FRPNow!631 year 51 weeks ago
by Sean McDirmid
6 weeks 2 days ago
by Keean Schupke
 Implementing typing rules -- how do I implement non-syntactic rules?27 weeks 1 day ago
by osa1
6 weeks 3 days ago
by osa1
 Domain specific language for playing games4223 weeks 6 days ago
by davidb
7 weeks 4 days ago
by marco
 The Two Dualities of Computation: Negative and Fractional Types113 years 5 weeks ago
by Greg Buchholz
8 weeks 4 days ago
by Ross Angle
 Egel Language v0.109 weeks 1 day ago
by marco
n/a
 Making a one-pass compiler by generating fexprs that generate code410 weeks 3 days ago
by Josh Scholar
10 weeks 2 days ago
by Keean Schupke
 Compiler IDE API1610 weeks 6 days ago
by Keean Schupke
10 weeks 3 days ago
by Keean Schupke
 New PL forums: plforums.org310 weeks 5 days ago
by glebm
10 weeks 4 days ago
by glebm
 Conversion of 'functional' to 'imperative' algorithms: is it possible?2011 years 49 weeks ago
by Achilleas Margaritis
12 weeks 2 days ago
by marco
 Logic Production Systems (LPS)313 weeks 2 days ago
by Neil Madden
12 weeks 6 days ago
by Enrique Perez Arnaud
 notes on a C-ish memory manager design2317 weeks 2 days ago
by Rys McCusker
12 weeks 6 days ago
by dmbarbour
XML feed