LtU Forum

 TopicRepliesCreatedLast reply sort icon
 A refutation of Gödel's first incompleteness theorem902 weeks 5 hours ago
by Enrique Perez Arnaud
1 day 2 hours ago
by Enrique Perez Arnaud
 The Two Dualities of Computation: Negative and Fractional Types112 years 49 weeks ago
by Greg Buchholz
2 days 7 hours ago
by Ross Angle
 Domain specific language for playing games3815 weeks 4 days ago
by davidb
5 days 20 hours ago
by Josh Scholar
 Egel Language v0.106 days 2 hours ago
by marco
n/a
 Making a one-pass compiler by generating fexprs that generate code42 weeks 16 hours ago
by Josh Scholar
2 weeks 4 hours ago
by Keean Schupke
 Compiler IDE API162 weeks 3 days ago
by Keean Schupke
2 weeks 17 hours ago
by Keean Schupke
 New PL forums: plforums.org32 weeks 2 days ago
by glebm
2 weeks 1 day ago
by glebm
 Conversion of 'functional' to 'imperative' algorithms: is it possible?2011 years 40 weeks ago
by Achilleas Margaritis
4 weeks 4 hours ago
by marco
 Logic Production Systems (LPS)34 weeks 6 days ago
by Neil Madden
4 weeks 4 days ago
by Enrique Perez Arnaud
 notes on a C-ish memory manager design238 weeks 6 days ago
by Rys McCusker
4 weeks 4 days ago
by dmbarbour
 Rust's language ergonomics initiative47 weeks 5 days ago
by gasche
6 weeks 6 days ago
by Charles Stewart
 CFL parsing, and another way to look at the CNF...519 weeks 4 days ago
by Cyril
7 weeks 3 days ago
by Cyril
 Controlling Reductions89 weeks 22 min ago
by skaller
7 weeks 5 days ago
by Keean Schupke
 Process Network for Effects, Monad Alternative3219 weeks 2 days ago
by dmbarbour
9 weeks 4 days ago
by Keean Schupke
 How will look a modern imperative language? All love here is functional only..8512 weeks 4 days ago
by mamcx
9 weeks 6 days ago
by mtenright
 Refining Structured Type System1611 weeks 1 day ago
by Ivan Vodišek
10 weeks 3 days ago
by Cyril
 Céu: Structured Synchronous Reactive Programming (SSRP)712 weeks 2 days ago
by fsantanna
11 weeks 1 day ago
by fsantanna
 Cool stuff from recent conferences011 weeks 3 days ago
by Ehud Lamm
n/a
 Inference of Polymorphic Recursion1613 weeks 6 days ago
by Matt M
11 weeks 3 days ago
by Cyril
 Archaeological dig to find the first Lisp example of the Y-combinator112 weeks 4 days ago
by filipallberg
12 weeks 3 days ago
by John Shutt
 Generic overload resolution1414 weeks 5 days ago
by Jon Purdy
13 weeks 5 days ago
by Keean Schupke
 Unsoundness3615 weeks 2 days ago
by skaller
14 weeks 8 hours ago
by skaller
 Defining recursive function as a monad (or other solutions)2919 weeks 5 days ago
by Ivan Vodišek
18 weeks 6 days ago
by Ivan Vodišek
 How to name the inverse functions of constructors2624 weeks 5 days ago
by hbrandl
18 weeks 6 days ago
by Burak Emir
 Eliminating left recursion3021 weeks 6 hours ago
by skaller
19 weeks 3 days ago
by Ivan Vodišek
XML feed