LtU Forum

 TopicRepliesCreatedLast reply sort icon
 The Platonic Solids of Software Construction and Their Realization in C156 days 19 hours ago
by bryanedds
1 day 7 hours ago
by bryanedds
 A Framework for Gradual Memory Management04 days 12 hours ago
by jondgoodwin
n/a
 Programming language Theme-D04 days 19 hours ago
by tohoyn
n/a
 Type system based on epistemic modal logic?45 weeks 5 days ago
by Jon Purdy
1 week 8 hours ago
by Jon Purdy
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon01 week 1 day ago
by paulboca
n/a
 SK in Prolog51 week 3 days ago
by marco
1 week 2 days ago
by Keean Schupke
 Reversing operations165 years 27 weeks ago
by Pablo Barenbaum
1 week 3 days ago
by johnwcowan
 Advancement in TDFA and POSIX submatch extraction03 weeks 2 days ago
by Ulya Trofimovich
n/a
 Something I forgot945 weeks 8 hours ago
by marco
3 weeks 3 days ago
by Keean Schupke
 Language features for tracing JIT?124 weeks 4 days ago
by Luke Gorrie
4 weeks 20 hours ago
by HeikoWengler
 The question of the possibility of a simple formal foundation to the natural languages.756 weeks 4 days ago
by Enrique Perez Arnaud
4 weeks 6 days ago
by Enrique Perez Arnaud
 isomorƒ: an experimental structured editor for witing/deploying functional code37 weeks 6 days ago
by Brian Kent
4 weeks 6 days ago
by Brian Kent
 New simple proof system35 weeks 1 day ago
by Edwin Zacharias
5 weeks 1 day ago
by marco
 NOOL 201705 weeks 3 days ago
by Roly Perera
n/a
 hobbes, Morgan Stanley OSS229 weeks 1 day ago
by Kalani
7 weeks 4 days ago
by Z-Bo
 Question: do you have to climb the tower of interpreters?57 weeks 6 days ago
by artemonster
7 weeks 5 days ago
by artemonster
 What would be involved in moving logic beyond FOL?10713 weeks 4 days ago
by Charles Stewart
9 weeks 3 days ago
by Neil Madden
 Just entertainment: Click, click, click!210 weeks 5 hours ago
by marco
9 weeks 4 days ago
by marco
 /join the #proglangdesign channel on Freenode09 weeks 5 days ago
by Dustin DeWeese
n/a
 Affine Types - Introductory reading261 year 26 weeks ago
by filipallberg
10 weeks 1 day ago
by skaller
 Is Datalog negation(¬) similar to the built-in predicate (≠)?411 weeks 2 hours ago
by Milton Silva
10 weeks 5 days ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)011 weeks 16 hours ago
by Sean McDirmid
n/a
 How to name the inverse functions of constructors2745 weeks 1 day ago
by hbrandl
11 weeks 1 day ago
by L Spice
 C runtime type info gimmick which supports scripting112 weeks 4 days ago
by Rys McCusker
12 weeks 3 days ago
by Rys McCusker
 Restructor: Full Program Automatic Refactoring814 weeks 2 days ago
by Wouter
13 weeks 3 days ago
by gasche
XML feed