LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Language features for tracing JIT?1226 weeks 2 days ago
by Luke Gorrie
25 weeks 5 days ago
by HeikoWengler
 The question of the possibility of a simple formal foundation to the natural languages.7528 weeks 2 days ago
by Enrique Perez Arnaud
26 weeks 3 days ago
by Enrique Perez Arnaud
 isomorƒ: an experimental structured editor for witing/deploying functional code329 weeks 4 days ago
by Brian Kent
26 weeks 4 days ago
by Brian Kent
 New simple proof system326 weeks 6 days ago
by Edwin Zacharias
26 weeks 6 days ago
by marco
 NOOL 2017027 weeks 1 day ago
by Roly Perera
n/a
 hobbes, Morgan Stanley OSS2230 weeks 6 days ago
by Kalani
29 weeks 2 days ago
by Z-Bo
 Question: do you have to climb the tower of interpreters?529 weeks 3 days ago
by artemonster
29 weeks 3 days ago
by artemonster
 What would be involved in moving logic beyond FOL?10735 weeks 2 days ago
by Charles Stewart
31 weeks 1 day ago
by Neil Madden
 Just entertainment: Click, click, click!231 weeks 4 days ago
by marco
31 weeks 2 days ago
by marco
 /join the #proglangdesign channel on Freenode031 weeks 3 days ago
by Dustin DeWeese
n/a
 Affine Types - Introductory reading261 year 48 weeks ago
by filipallberg
31 weeks 5 days ago
by skaller
 Is Datalog negation(¬) similar to the built-in predicate (≠)?432 weeks 4 days ago
by Milton Silva
32 weeks 3 days ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)032 weeks 5 days ago
by Sean McDirmid
n/a
 How to name the inverse functions of constructors271 year 14 weeks ago
by hbrandl
32 weeks 5 days ago
by L Spice
 C runtime type info gimmick which supports scripting134 weeks 2 days ago
by Rys McCusker
34 weeks 1 day ago
by Rys McCusker
 Restructor: Full Program Automatic Refactoring836 weeks 6 hours ago
by Wouter
35 weeks 1 day ago
by gasche
 Abstractionless programming1913 years 34 weeks ago
by Wouter
36 weeks 6 hours ago
by Wouter
 SK Calculus not Consider SeKsy?2911 years 11 weeks ago
by cdiggins
36 weeks 6 hours ago
by Wouter
 Living it up with a Live Programming Language3610 years 47 weeks ago
by Sean McDirmid
36 weeks 6 hours ago
by Wouter
 Free links to all (or practically all) recent SIGPLAN papers237 weeks 1 hour ago
by emery
36 weeks 6 days ago
by johnwcowan
 Finding Solutions vs. Verifying Solutions3939 weeks 4 days ago
by Ivan Vodišek
37 weeks 5 days ago
by Blaisorblade
 A refutation of Gödel's first incompleteness theorem16144 weeks 1 day ago
by Enrique Perez Arnaud
38 weeks 2 days ago
by Enrique Perez Arnaud
 Any thoughts on WanaDecrypt0r?939 weeks 6 days ago
by marco
38 weeks 6 days ago
by Blaisorblade
 SW verification continues039 weeks 4 days ago
by hbrandl
n/a
 Prove: 'Cont r a = (a -> r) -> r' forms a monad4740 weeks 2 days ago
by marco
39 weeks 4 days ago
by marco
XML feed