LtU Forum

 TopicRepliesCreated sort iconLast reply
 Something I forgot941 year 13 weeks ago
by marco
1 year 12 weeks ago
by Keean Schupke
 New simple proof system31 year 14 weeks ago
by Edwin Zacharias
1 year 14 weeks ago
by marco
 NOOL 201701 year 14 weeks ago
by Roly Perera
n/a
 Type system based on epistemic modal logic?41 year 14 weeks ago
by Jon Purdy
1 year 9 weeks ago
by Jon Purdy
 The question of the possibility of a simple formal foundation to the natural languages.751 year 15 weeks ago
by Enrique Perez Arnaud
1 year 13 weeks ago
by Enrique Perez Arnaud
 Question: do you have to climb the tower of interpreters?51 year 16 weeks ago
by artemonster
1 year 16 weeks ago
by artemonster
 isomorƒ: an experimental structured editor for witing/deploying functional code31 year 16 weeks ago
by Brian Kent
1 year 13 weeks ago
by Brian Kent
 hobbes, Morgan Stanley OSS221 year 18 weeks ago
by Kalani
1 year 16 weeks ago
by Z-Bo
 /join the #proglangdesign channel on Freenode01 year 18 weeks ago
by Dustin DeWeese
n/a
 Just entertainment: Click, click, click!21 year 18 weeks ago
by marco
1 year 18 weeks ago
by marco
 Is Datalog negation(¬) similar to the built-in predicate (≠)?41 year 19 weeks ago
by Milton Silva
1 year 19 weeks ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)01 year 19 weeks ago
by Sean McDirmid
n/a
 C runtime type info gimmick which supports scripting11 year 21 weeks ago
by Rys McCusker
1 year 21 weeks ago
by Rys McCusker
 What would be involved in moving logic beyond FOL?1071 year 22 weeks ago
by Charles Stewart
1 year 18 weeks ago
by Neil Madden
 Restructor: Full Program Automatic Refactoring81 year 23 weeks ago
by Wouter
1 year 22 weeks ago
by gasche
 Free links to all (or practically all) recent SIGPLAN papers21 year 24 weeks ago
by emery
1 year 24 weeks ago
by johnwcowan
 SW verification continues01 year 26 weeks ago
by hbrandl
n/a
 Finding Solutions vs. Verifying Solutions391 year 26 weeks ago
by Ivan Vodišek
1 year 24 weeks ago
by Blaisorblade
 the type of eval in Shen01 year 26 weeks ago
by Mark Tarver
n/a
 Any thoughts on WanaDecrypt0r?91 year 27 weeks ago
by marco
1 year 26 weeks ago
by Blaisorblade
 Prove: 'Cont r a = (a -> r) -> r' forms a monad471 year 27 weeks ago
by marco
1 year 26 weeks ago
by marco
 Implementing typing rules -- how do I implement non-syntactic rules?21 year 28 weeks ago
by osa1
1 year 27 weeks ago
by osa1
 Egel Language v0.101 year 30 weeks ago
by marco
n/a
 A refutation of Gödel's first incompleteness theorem1611 year 31 weeks ago
by Enrique Perez Arnaud
1 year 25 weeks ago
by Enrique Perez Arnaud
 Making a one-pass compiler by generating fexprs that generate code41 year 31 weeks ago
by Josh Scholar
1 year 31 weeks ago
by Keean Schupke
XML feed