LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Advancement in TDFA and POSIX submatch extraction051 weeks 21 hours ago
by Ulya Trofimovich
n/a
 Something I forgot941 year 4 days ago
by marco
51 weeks 1 day ago
by Keean Schupke
 Language features for tracing JIT?121 year 2 days ago
by Luke Gorrie
51 weeks 6 days ago
by HeikoWengler
 The question of the possibility of a simple formal foundation to the natural languages.751 year 2 weeks ago
by Enrique Perez Arnaud
1 year 3 days ago
by Enrique Perez Arnaud
 isomorƒ: an experimental structured editor for witing/deploying functional code31 year 3 weeks ago
by Brian Kent
1 year 4 days ago
by Brian Kent
 New simple proof system31 year 6 days ago
by Edwin Zacharias
1 year 5 days ago
by marco
 NOOL 201701 year 1 week ago
by Roly Perera
n/a
 hobbes, Morgan Stanley OSS221 year 4 weeks ago
by Kalani
1 year 3 weeks ago
by Z-Bo
 Question: do you have to climb the tower of interpreters?51 year 3 weeks ago
by artemonster
1 year 3 weeks ago
by artemonster
 What would be involved in moving logic beyond FOL?1071 year 9 weeks ago
by Charles Stewart
1 year 5 weeks ago
by Neil Madden
 Just entertainment: Click, click, click!21 year 5 weeks ago
by marco
1 year 5 weeks ago
by marco
 /join the #proglangdesign channel on Freenode01 year 5 weeks ago
by Dustin DeWeese
n/a
 Affine Types - Introductory reading262 years 22 weeks ago
by filipallberg
1 year 5 weeks ago
by skaller
 Is Datalog negation(¬) similar to the built-in predicate (≠)?41 year 6 weeks ago
by Milton Silva
1 year 6 weeks ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)01 year 6 weeks ago
by Sean McDirmid
n/a
 How to name the inverse functions of constructors271 year 40 weeks ago
by hbrandl
1 year 6 weeks ago
by L Spice
 C runtime type info gimmick which supports scripting11 year 8 weeks ago
by Rys McCusker
1 year 8 weeks ago
by Rys McCusker
 Restructor: Full Program Automatic Refactoring81 year 10 weeks ago
by Wouter
1 year 9 weeks ago
by gasche
 Abstractionless programming1914 years 8 weeks ago
by Wouter
1 year 10 weeks ago
by Wouter
 SK Calculus not Consider SeKsy?2911 years 37 weeks ago
by cdiggins
1 year 10 weeks ago
by Wouter
 Living it up with a Live Programming Language3611 years 21 weeks ago
by Sean McDirmid
1 year 10 weeks ago
by Wouter
 Free links to all (or practically all) recent SIGPLAN papers21 year 10 weeks ago
by emery
1 year 10 weeks ago
by johnwcowan
 Finding Solutions vs. Verifying Solutions391 year 13 weeks ago
by Ivan Vodišek
1 year 11 weeks ago
by Blaisorblade
 A refutation of Gödel's first incompleteness theorem1611 year 18 weeks ago
by Enrique Perez Arnaud
1 year 12 weeks ago
by Enrique Perez Arnaud
 Any thoughts on WanaDecrypt0r?91 year 13 weeks ago
by marco
1 year 12 weeks ago
by Blaisorblade
XML feed