LtU Forum

 TopicRepliesCreatedLast reply sort icon
 What is the dual of { } ?2217 years 18 weeks ago
by Kay Schluehr
17 years 17 weeks ago
by Charles Stewart
 Looking for papers describing advanced language topics in terms of C programming2517 years 21 weeks ago
by derekp
17 years 17 weeks ago
by Jason Dusek
 On the (Im)possibility of Obfuscating Programs4417 years 17 weeks ago
by Jason Dusek
17 years 17 weeks ago
by Matt M
 How best to add a record type to my typed Scheme variant?717 years 18 weeks ago
by Sam Rushing
17 years 18 weeks ago
by shap
 Introducing Dawn - yet another new language3717 years 21 weeks ago
by Poul Krogh
17 years 18 weeks ago
by Poul Krogh
 Tagged Arithmetic Optimization2917 years 18 weeks ago
by naasking
17 years 18 weeks ago
by dmbarbour
 Offline discussions119 years 3 weeks ago
by Ehud Lamm
17 years 18 weeks ago
by Ehud Lamm
 Ruling out nonsensical data type definitions3417 years 18 weeks ago
by Douglas McClean
17 years 18 weeks ago
by Matt M
 Jane Street Summer Project '09017 years 18 weeks ago
by yminsky
n/a
 Cybernetics and AI017 years 18 weeks ago
by Hank Thediek
n/a
 I'm from china and I'm working on a new programming language "Zero"1117 years 19 weeks ago
by guy_from_china
17 years 19 weeks ago
by guy_from_china
 Graduate Programs in Programming Language Design/Research/Implementation?1117 years 19 weeks ago
by shubhamharnal
17 years 19 weeks ago
by shubhamharnal
 Explaining monads17421 years 47 weeks ago
by Ehud Lamm
17 years 19 weeks ago
by Philippa Cowderoy
 seeking article on representing cyclic graphs using purely functional data structures217 years 19 weeks ago
by const
17 years 19 weeks ago
by const
 help with type theory117 years 19 weeks ago
by jdgallag
17 years 19 weeks ago
by Alex Rubinsteyn
 Introducing Ambi317 years 19 weeks ago
by David Pratten
17 years 19 weeks ago
by David Pratten
 Functional anti-memoization1520 years 42 weeks ago
by Greg Buchholz
17 years 19 weeks ago
by e
 Extensible Term Language 0.2.1617 years 20 weeks ago
by const
17 years 19 weeks ago
by const
 Non-standard type theories for FP6117 years 28 weeks ago
by marco
17 years 19 weeks ago
by marco
 CWE/SANS TOP 25 Most Dangerous Programming Errors717 years 21 weeks ago
by Koray Can
17 years 20 weeks ago
by raould
 Question concerning parameterization over literals2217 years 31 weeks ago
by shap
17 years 20 weeks ago
by Ben L. Titzer
 Parsing with error recovery?317 years 20 weeks ago
by lmeyerov
17 years 20 weeks ago
by const
 Specifying semantics and type rules717 years 20 weeks ago
by shap
17 years 20 weeks ago
by shap
 Macro systems3517 years 20 weeks ago
by cdiggins
17 years 20 weeks ago
by Matt Hellige
 Nested functions - how many nesting levels are really needed?2017 years 20 weeks ago
by strog
17 years 20 weeks ago
by Giovanni Deretta
XML feed