LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Egel Language v0.101 year 8 weeks ago
by marco
n/a
 Making a one-pass compiler by generating fexprs that generate code41 year 9 weeks ago
by Josh Scholar
1 year 9 weeks ago
by Keean Schupke
 Compiler IDE API161 year 10 weeks ago
by Keean Schupke
1 year 9 weeks ago
by Keean Schupke
 New PL forums: plforums.org31 year 9 weeks ago
by glebm
1 year 9 weeks ago
by glebm
 Conversion of 'functional' to 'imperative' algorithms: is it possible?2012 years 48 weeks ago
by Achilleas Margaritis
1 year 11 weeks ago
by marco
 Logic Production Systems (LPS)31 year 12 weeks ago
by Neil Madden
1 year 12 weeks ago
by Enrique Perez Arnaud
 notes on a C-ish memory manager design231 year 16 weeks ago
by Rys McCusker
1 year 12 weeks ago
by dmbarbour
 Rust's language ergonomics initiative41 year 15 weeks ago
by gasche
1 year 14 weeks ago
by Charles Stewart
 CFL parsing, and another way to look at the CNF...511 year 17 weeks ago
by Cyril
1 year 15 weeks ago
by Cyril
 Controlling Reductions81 year 16 weeks ago
by skaller
1 year 15 weeks ago
by Keean Schupke
 Process Network for Effects, Monad Alternative321 year 26 weeks ago
by dmbarbour
1 year 17 weeks ago
by Keean Schupke
 How will look a modern imperative language? All love here is functional only..851 year 20 weeks ago
by mamcx
1 year 17 weeks ago
by mtenright
 Céu: Structured Synchronous Reactive Programming (SSRP)71 year 19 weeks ago
by fsantanna
1 year 18 weeks ago
by fsantanna
 Cool stuff from recent conferences01 year 19 weeks ago
by Ehud Lamm
n/a
 Inference of Polymorphic Recursion161 year 21 weeks ago
by Matt M
1 year 19 weeks ago
by Cyril
 Archaeological dig to find the first Lisp example of the Y-combinator11 year 20 weeks ago
by filipallberg
1 year 20 weeks ago
by John Shutt
 Generic overload resolution141 year 22 weeks ago
by Jon Purdy
1 year 21 weeks ago
by Keean Schupke
 Unsoundness361 year 22 weeks ago
by skaller
1 year 21 weeks ago
by skaller
 Defining recursive function as a monad (or other solutions)291 year 27 weeks ago
by Ivan Vodišek
1 year 26 weeks ago
by Ivan Vodišek
 Eliminating left recursion301 year 28 weeks ago
by skaller
1 year 27 weeks ago
by Ivan Vodišek
 List of POPL 2017 papers with crowd-sourced preprint links71 year 33 weeks ago
by gasche
1 year 27 weeks ago
by cyrus
 Any recent developments on "active libraries" that I'm missing?21 year 29 weeks ago
by osa1
1 year 27 weeks ago
by cyrus
 Splitting witnesses up21 year 29 weeks ago
by Z-Bo
1 year 28 weeks ago
by Z-Bo
 On the (Alleged) Value of Proof for Assurance1368 years 13 weeks ago
by shap
1 year 29 weeks ago
by NickP
 Resources for implementing higher-kinded types?31 year 31 weeks ago
by Jon Purdy
1 year 31 weeks ago
by neelk
XML feed