LtU Forum

 TopicRepliesCreatedLast reply sort icon
 /join the #proglangdesign channel on Freenode044 weeks 3 days ago
by Dustin DeWeese
n/a
 Affine Types - Introductory reading262 years 9 weeks ago
by filipallberg
44 weeks 6 days ago
by skaller
 Is Datalog negation(¬) similar to the built-in predicate (≠)?445 weeks 5 days ago
by Milton Silva
45 weeks 4 days ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)045 weeks 5 days ago
by Sean McDirmid
n/a
 How to name the inverse functions of constructors271 year 27 weeks ago
by hbrandl
45 weeks 6 days ago
by L Spice
 C runtime type info gimmick which supports scripting147 weeks 2 days ago
by Rys McCusker
47 weeks 1 day ago
by Rys McCusker
 Restructor: Full Program Automatic Refactoring849 weeks 23 hours ago
by Wouter
48 weeks 1 day ago
by gasche
 Abstractionless programming1913 years 47 weeks ago
by Wouter
49 weeks 23 hours ago
by Wouter
 SK Calculus not Consider SeKsy?2911 years 24 weeks ago
by cdiggins
49 weeks 23 hours ago
by Wouter
 Living it up with a Live Programming Language3611 years 8 weeks ago
by Sean McDirmid
49 weeks 23 hours ago
by Wouter
 Free links to all (or practically all) recent SIGPLAN papers250 weeks 17 hours ago
by emery
50 weeks 12 hours ago
by johnwcowan
 Finding Solutions vs. Verifying Solutions391 year 4 days ago
by Ivan Vodišek
50 weeks 5 days ago
by Blaisorblade
 A refutation of Gödel's first incompleteness theorem1611 year 5 weeks ago
by Enrique Perez Arnaud
51 weeks 2 days ago
by Enrique Perez Arnaud
 Any thoughts on WanaDecrypt0r?91 year 5 days ago
by marco
51 weeks 6 days ago
by Blaisorblade
 SW verification continues01 year 3 days ago
by hbrandl
n/a
 Prove: 'Cont r a = (a -> r) -> r' forms a monad471 year 1 week ago
by marco
1 year 4 days ago
by marco
 the type of eval in Shen01 year 4 days ago
by Mark Tarver
n/a
 Practical Principled FRP: Forget the past, change the future, FRPNow!632 years 46 weeks ago
by Sean McDirmid
1 year 1 week ago
by Keean Schupke
 Implementing typing rules -- how do I implement non-syntactic rules?21 year 1 week ago
by osa1
1 year 1 week ago
by osa1
 Domain specific language for playing games421 year 18 weeks ago
by davidb
1 year 2 weeks ago
by marco
 The Two Dualities of Computation: Negative and Fractional Types113 years 52 weeks ago
by Greg Buchholz
1 year 3 weeks ago
by Ross Angle
 Egel Language v0.101 year 3 weeks ago
by marco
n/a
 Making a one-pass compiler by generating fexprs that generate code41 year 5 weeks ago
by Josh Scholar
1 year 5 weeks ago
by Keean Schupke
 Compiler IDE API161 year 5 weeks ago
by Keean Schupke
1 year 5 weeks ago
by Keean Schupke
 New PL forums: plforums.org31 year 5 weeks ago
by glebm
1 year 5 weeks ago
by glebm
XML feed