LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Prior art for reifying lifecycle91 week 21 hours ago
by mikesamuel
5 days 17 hours ago
by mikesamuel
 Higher Order Functions Considered Unnecessary for Higher Order Programming26 days 20 hours ago
by irisjay
6 days 18 hours ago
by mikesamuel
 Upward confluence in the interaction calculus24 weeks 2 days ago
by Anton Salikhmetov
2 weeks 2 days ago
by Anton Salikhmetov
 Programming language Theme-D243 weeks 6 days ago
by tohoyn
5 weeks 1 day ago
by Manuel J. Simoni
 C++ fun97 weeks 3 days ago
by chrisoliver
5 weeks 3 days ago
by shap
 New DSL for secueity06 weeks 1 day ago
by True Konrads
n/a
 I have a problem with arguments passed as non-evaluated expressions77 weeks 17 hours ago
by artemonster
6 weeks 6 days ago
by artemonster
 Proof system for learning basic algebra79 weeks 3 days ago
by Edwin Zacharias
7 weeks 5 days ago
by Julian Rohrhuber
 Type Bombs2211 weeks 5 days ago
by marco
9 weeks 2 hours ago
by Stephen Dolan
 terminology for scope of discourse, i.e. CS-domain611 weeks 6 days ago
by Rys McCusker
11 weeks 1 day ago
by Rys McCusker
 Expressions of Change712 weeks 1 day ago
by vanschelven
11 weeks 2 days ago
by Matt M
 The Heron Programming Language011 weeks 6 days ago
by cdiggins
n/a
 Popr Tutorial: Dot Machines2315 weeks 19 hours ago
by Dustin DeWeese
13 weeks 15 hours ago
by Dustin DeWeese
 LIVE 2018 CFP118 weeks 2 days ago
by Sean McDirmid
13 weeks 2 days ago
by Roly Perera
 Representing Type Information in Dynamically Typed Languages318 years 14 weeks ago
by Ray Dillinger
14 weeks 5 days ago
by johnwcowan
 An impure solution to the problem of matching fans1428 weeks 2 days ago
by Anton Salikhmetov
16 weeks 21 hours ago
by Anton Salikhmetov
 Egel Language v0.0.2616 weeks 6 days ago
by marco
16 weeks 5 days ago
by marco
 Non-transitivity of type unification217 weeks 4 days ago
by AntC
17 weeks 3 days ago
by Matt M
 Are "jets" a good idea?3536 weeks 6 days ago
by xkapastel
17 weeks 5 days ago
by peterseymour
 Are Monads a Waste of Time?15421 weeks 5 days ago
by Keean Schupke
17 weeks 6 days ago
by John Shutt
 GADTs as gaurds4619 weeks 18 hours ago
by Matt M
18 weeks 17 hours ago
by Keean Schupke
 Is there a functional language with explicit limits on the heap(s)?1319 weeks 1 day ago
by Paulo Torrens
18 weeks 2 days ago
by cpurdy
 Bottom1120 weeks 6 days ago
by marco
18 weeks 4 days ago
by johnwcowan
 Anna: A KVS For Any Scale018 weeks 5 days ago
by naasking
n/a
 Anything recent happening with multi-stage programming?1319 weeks 3 days ago
by David Teller
18 weeks 6 days ago
by David Teller
XML feed