LtU Forum

 TopicRepliesCreatedLast reply sort icon
 hobbes, Morgan Stanley OSS2248 weeks 3 days ago
by Kalani
46 weeks 6 days ago
by Z-Bo
 Question: do you have to climb the tower of interpreters?547 weeks 7 hours ago
by artemonster
46 weeks 6 days ago
by artemonster
 What would be involved in moving logic beyond FOL?1071 year 5 days ago
by Charles Stewart
48 weeks 5 days ago
by Neil Madden
 Just entertainment: Click, click, click!249 weeks 1 day ago
by marco
48 weeks 5 days ago
by marco
 /join the #proglangdesign channel on Freenode048 weeks 6 days ago
by Dustin DeWeese
n/a
 Affine Types - Introductory reading262 years 13 weeks ago
by filipallberg
49 weeks 2 days ago
by skaller
 Is Datalog negation(¬) similar to the built-in predicate (≠)?450 weeks 1 day ago
by Milton Silva
50 weeks 4 hours ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)050 weeks 1 day ago
by Sean McDirmid
n/a
 How to name the inverse functions of constructors271 year 32 weeks ago
by hbrandl
50 weeks 2 days ago
by L Spice
 C runtime type info gimmick which supports scripting151 weeks 5 days ago
by Rys McCusker
51 weeks 4 days ago
by Rys McCusker
 Restructor: Full Program Automatic Refactoring81 year 1 week ago
by Wouter
1 year 3 days ago
by gasche
 Abstractionless programming1914 years 1 day ago
by Wouter
1 year 1 week ago
by Wouter
 SK Calculus not Consider SeKsy?2911 years 29 weeks ago
by cdiggins
1 year 1 week ago
by Wouter
 Living it up with a Live Programming Language3611 years 13 weeks ago
by Sean McDirmid
1 year 1 week ago
by Wouter
 Free links to all (or practically all) recent SIGPLAN papers21 year 2 weeks ago
by emery
1 year 2 weeks ago
by johnwcowan
 Finding Solutions vs. Verifying Solutions391 year 5 weeks ago
by Ivan Vodišek
1 year 3 weeks ago
by Blaisorblade
 A refutation of Gödel's first incompleteness theorem1611 year 9 weeks ago
by Enrique Perez Arnaud
1 year 3 weeks ago
by Enrique Perez Arnaud
 Any thoughts on WanaDecrypt0r?91 year 5 weeks ago
by marco
1 year 4 weeks ago
by Blaisorblade
 SW verification continues01 year 4 weeks ago
by hbrandl
n/a
 Prove: 'Cont r a = (a -> r) -> r' forms a monad471 year 5 weeks ago
by marco
1 year 5 weeks ago
by marco
 the type of eval in Shen01 year 5 weeks ago
by Mark Tarver
n/a
 Practical Principled FRP: Forget the past, change the future, FRPNow!632 years 51 weeks ago
by Sean McDirmid
1 year 5 weeks ago
by Keean Schupke
 Implementing typing rules -- how do I implement non-syntactic rules?21 year 6 weeks ago
by osa1
1 year 5 weeks ago
by osa1
 Domain specific language for playing games421 year 23 weeks ago
by davidb
1 year 6 weeks ago
by marco
 The Two Dualities of Computation: Negative and Fractional Types114 years 4 weeks ago
by Greg Buchholz
1 year 7 weeks ago
by Ross Angle
XML feed