LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Something I forgot506 days 19 hours ago
by marco
3 hours 17 min ago
by Matt M
 Language features for tracing JIT?124 days 8 hours ago
by Luke Gorrie
7 hours 11 min ago
by HeikoWengler
 Type system based on epistemic modal logic?21 week 5 days ago
by Jon Purdy
5 days 18 hours ago
by Z-Bo
 The question of the possibility of a simple formal foundation to the natural languages.752 weeks 4 days ago
by Enrique Perez Arnaud
5 days 20 hours ago
by Enrique Perez Arnaud
 isomorƒ: an experimental structured editor for witing/deploying functional code33 weeks 5 days ago
by Brian Kent
6 days 3 hours ago
by Brian Kent
 New simple proof system31 week 1 day ago
by Edwin Zacharias
1 week 23 hours ago
by marco
 NOOL 201701 week 3 days ago
by Roly Perera
n/a
 hobbes, Morgan Stanley OSS225 weeks 1 day ago
by Kalani
3 weeks 4 days ago
by Z-Bo
 Question: do you have to climb the tower of interpreters?53 weeks 5 days ago
by artemonster
3 weeks 5 days ago
by artemonster
 What would be involved in moving logic beyond FOL?1079 weeks 4 days ago
by Charles Stewart
5 weeks 3 days ago
by Neil Madden
 Just entertainment: Click, click, click!25 weeks 6 days ago
by marco
5 weeks 3 days ago
by marco
 /join the #proglangdesign channel on Freenode05 weeks 5 days ago
by Dustin DeWeese
n/a
 Affine Types - Introductory reading261 year 22 weeks ago
by filipallberg
6 weeks 19 hours ago
by skaller
 Is Datalog negation(¬) similar to the built-in predicate (≠)?46 weeks 6 days ago
by Milton Silva
6 weeks 5 days ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)07 weeks 3 hours ago
by Sean McDirmid
n/a
 How to name the inverse functions of constructors2741 weeks 21 hours ago
by hbrandl
7 weeks 21 hours ago
by L Spice
 C runtime type info gimmick which supports scripting18 weeks 4 days ago
by Rys McCusker
8 weeks 2 days ago
by Rys McCusker
 Restructor: Full Program Automatic Refactoring810 weeks 2 days ago
by Wouter
9 weeks 3 days ago
by gasche
 Abstractionless programming1913 years 9 weeks ago
by Wouter
10 weeks 2 days ago
by Wouter
 SK Calculus not Consider SeKsy?2910 years 38 weeks ago
by cdiggins
10 weeks 2 days ago
by Wouter
 Living it up with a Live Programming Language3610 years 22 weeks ago
by Sean McDirmid
10 weeks 2 days ago
by Wouter
 Free links to all (or practically all) recent SIGPLAN papers211 weeks 1 day ago
by emery
11 weeks 1 day ago
by johnwcowan
 Refining Structured Type System2027 weeks 3 days ago
by Ivan Vodišek
11 weeks 6 days ago
by Ivan Vodišek
 Finding Solutions vs. Verifying Solutions3913 weeks 6 days ago
by Ivan Vodišek
12 weeks 3 hours ago
by Blaisorblade
 A refutation of Gödel's first incompleteness theorem16118 weeks 3 days ago
by Enrique Perez Arnaud
12 weeks 4 days ago
by Enrique Perez Arnaud
XML feed