LtU Forum

 TopicRepliesCreatedLast reply sort icon
 hobbes, Morgan Stanley OSS2227 weeks 2 hours ago
by Kalani
25 weeks 3 days ago
by Z-Bo
 Question: do you have to climb the tower of interpreters?525 weeks 4 days ago
by artemonster
25 weeks 3 days ago
by artemonster
 What would be involved in moving logic beyond FOL?10731 weeks 3 days ago
by Charles Stewart
27 weeks 2 days ago
by Neil Madden
 Just entertainment: Click, click, click!227 weeks 5 days ago
by marco
27 weeks 2 days ago
by marco
 /join the #proglangdesign channel on Freenode027 weeks 4 days ago
by Dustin DeWeese
n/a
 Affine Types - Introductory reading261 year 44 weeks ago
by filipallberg
27 weeks 6 days ago
by skaller
 Is Datalog negation(¬) similar to the built-in predicate (≠)?428 weeks 5 days ago
by Milton Silva
28 weeks 4 days ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)028 weeks 5 days ago
by Sean McDirmid
n/a
 How to name the inverse functions of constructors271 year 10 weeks ago
by hbrandl
28 weeks 6 days ago
by L Spice
 C runtime type info gimmick which supports scripting130 weeks 2 days ago
by Rys McCusker
30 weeks 1 day ago
by Rys McCusker
 Restructor: Full Program Automatic Refactoring832 weeks 1 day ago
by Wouter
31 weeks 1 day ago
by gasche
 Abstractionless programming1913 years 30 weeks ago
by Wouter
32 weeks 1 day ago
by Wouter
 SK Calculus not Consider SeKsy?2911 years 7 weeks ago
by cdiggins
32 weeks 1 day ago
by Wouter
 Living it up with a Live Programming Language3610 years 43 weeks ago
by Sean McDirmid
32 weeks 1 day ago
by Wouter
 Free links to all (or practically all) recent SIGPLAN papers233 weeks 19 hours ago
by emery
33 weeks 14 hours ago
by johnwcowan
 Finding Solutions vs. Verifying Solutions3935 weeks 5 days ago
by Ivan Vodišek
33 weeks 5 days ago
by Blaisorblade
 A refutation of Gödel's first incompleteness theorem16140 weeks 1 day ago
by Enrique Perez Arnaud
34 weeks 3 days ago
by Enrique Perez Arnaud
 Any thoughts on WanaDecrypt0r?935 weeks 6 days ago
by marco
34 weeks 6 days ago
by Blaisorblade
 SW verification continues035 weeks 4 days ago
by hbrandl
n/a
 Prove: 'Cont r a = (a -> r) -> r' forms a monad4736 weeks 2 days ago
by marco
35 weeks 5 days ago
by marco
 the type of eval in Shen035 weeks 6 days ago
by Mark Tarver
n/a
 Practical Principled FRP: Forget the past, change the future, FRPNow!632 years 29 weeks ago
by Sean McDirmid
36 weeks 2 days ago
by Keean Schupke
 Implementing typing rules -- how do I implement non-syntactic rules?237 weeks 12 hours ago
by osa1
36 weeks 2 days ago
by osa1
 Domain specific language for playing games421 year 1 week ago
by davidb
37 weeks 3 days ago
by marco
 The Two Dualities of Computation: Negative and Fractional Types113 years 35 weeks ago
by Greg Buchholz
38 weeks 4 days ago
by Ross Angle
XML feed