LtU Forum

 TopicRepliesCreatedLast reply sort icon
 How to decrease bugs in the code41 day 10 hours ago
by akira
11 hours 42 min ago
by akira
 BF Bignum: A Program Synthesis Game22 days 1 hour ago
by xkapastel
1 day 16 hours ago
by xkapastel
 How to generate branch tables from SSA form?02 days 6 hours ago
by Paulo Torrens
n/a
 Lambda calculus15 days 12 hours ago
by hbrandl
5 days 3 hours ago
by John Shutt
 Prior art for reifying lifecycle94 weeks 6 days ago
by mikesamuel
4 weeks 4 days ago
by mikesamuel
 Higher Order Functions Considered Unnecessary for Higher Order Programming24 weeks 5 days ago
by irisjay
4 weeks 5 days ago
by mikesamuel
 Upward confluence in the interaction calculus28 weeks 20 hours ago
by Anton Salikhmetov
6 weeks 18 hours ago
by Anton Salikhmetov
 Programming language Theme-D247 weeks 5 days ago
by tohoyn
9 weeks 14 hours ago
by Manuel J. Simoni
 C++ fun911 weeks 2 days ago
by chrisoliver
9 weeks 2 days ago
by shap
 New DSL for secueity010 weeks 5 hours ago
by True Konrads
n/a
 I have a problem with arguments passed as non-evaluated expressions710 weeks 6 days ago
by artemonster
10 weeks 4 days ago
by artemonster
 Proof system for learning basic algebra713 weeks 1 day ago
by Edwin Zacharias
11 weeks 4 days ago
by Julian Rohrhuber
 Type Bombs2215 weeks 4 days ago
by marco
12 weeks 5 days ago
by Stephen Dolan
 terminology for scope of discourse, i.e. CS-domain615 weeks 5 days ago
by Rys McCusker
15 weeks 5 hours ago
by Rys McCusker
 Expressions of Change715 weeks 6 days ago
by vanschelven
15 weeks 1 day ago
by Matt M
 The Heron Programming Language015 weeks 5 days ago
by cdiggins
n/a
 Popr Tutorial: Dot Machines2318 weeks 6 days ago
by Dustin DeWeese
16 weeks 6 days ago
by Dustin DeWeese
 LIVE 2018 CFP122 weeks 1 day ago
by Sean McDirmid
17 weeks 1 day ago
by Roly Perera
 Representing Type Information in Dynamically Typed Languages318 years 17 weeks ago
by Ray Dillinger
18 weeks 4 days ago
by johnwcowan
 An impure solution to the problem of matching fans1432 weeks 1 day ago
by Anton Salikhmetov
19 weeks 6 days ago
by Anton Salikhmetov
 Egel Language v0.0.2620 weeks 5 days ago
by marco
20 weeks 4 days ago
by marco
 Non-transitivity of type unification221 weeks 2 days ago
by AntC
21 weeks 2 days ago
by Matt M
 Are "jets" a good idea?3540 weeks 5 days ago
by xkapastel
21 weeks 4 days ago
by peterseymour
 Are Monads a Waste of Time?15425 weeks 3 days ago
by Keean Schupke
21 weeks 5 days ago
by John Shutt
 GADTs as gaurds4622 weeks 6 days ago
by Matt M
21 weeks 6 days ago
by Keean Schupke
XML feed