LtU Forum

 TopicRepliesCreatedLast reply sort icon
 A refutation of Gödel's first incompleteness theorem1575 weeks 5 days ago
by Enrique Perez Arnaud
8 hours 23 min ago
by Matt M
 Any thoughts on WanaDecrypt0r?91 week 3 days ago
by marco
3 days 7 hours ago
by Blaisorblade
 Finding Solutions vs. Verifying Solutions341 week 1 day ago
by Ivan Vodišek
4 days 19 hours ago
by Ivan Vodišek
 SW verification continues01 week 1 day ago
by hbrandl
n/a
 Prove: 'Cont r a = (a -> r) -> r' forms a monad471 week 6 days ago
by marco
1 week 2 days ago
by marco
 the type of eval in Shen01 week 2 days ago
by Mark Tarver
n/a
 Refining Structured Type System1914 weeks 6 days ago
by Ivan Vodišek
1 week 4 days ago
by Ivan Vodišek
 Practical Principled FRP: Forget the past, change the future, FRPNow!631 year 47 weeks ago
by Sean McDirmid
1 week 5 days ago
by Keean Schupke
 Implementing typing rules -- how do I implement non-syntactic rules?22 weeks 3 days ago
by osa1
1 week 5 days ago
by osa1
 Domain specific language for playing games4219 weeks 2 days ago
by davidb
3 weeks 6 hours ago
by marco
 The Two Dualities of Computation: Negative and Fractional Types113 years 4 days ago
by Greg Buchholz
4 weeks 12 hours ago
by Ross Angle
 Egel Language v0.104 weeks 4 days ago
by marco
n/a
 Making a one-pass compiler by generating fexprs that generate code45 weeks 5 days ago
by Josh Scholar
5 weeks 5 days ago
by Keean Schupke
 Compiler IDE API166 weeks 1 day ago
by Keean Schupke
5 weeks 5 days ago
by Keean Schupke
 New PL forums: plforums.org36 weeks 1 day ago
by glebm
6 weeks 2 hours ago
by glebm
 Conversion of 'functional' to 'imperative' algorithms: is it possible?2011 years 44 weeks ago
by Achilleas Margaritis
7 weeks 5 days ago
by marco
 Logic Production Systems (LPS)38 weeks 4 days ago
by Neil Madden
8 weeks 2 days ago
by Enrique Perez Arnaud
 notes on a C-ish memory manager design2312 weeks 5 days ago
by Rys McCusker
8 weeks 2 days ago
by dmbarbour
 Rust's language ergonomics initiative411 weeks 3 days ago
by gasche
10 weeks 4 days ago
by Charles Stewart
 CFL parsing, and another way to look at the CNF...5113 weeks 3 days ago
by Cyril
11 weeks 1 day ago
by Cyril
 Controlling Reductions812 weeks 5 days ago
by skaller
11 weeks 3 days ago
by Keean Schupke
 Process Network for Effects, Monad Alternative3223 weeks 11 hours ago
by dmbarbour
13 weeks 2 days ago
by Keean Schupke
 How will look a modern imperative language? All love here is functional only..8516 weeks 2 days ago
by mamcx
13 weeks 4 days ago
by mtenright
 Céu: Structured Synchronous Reactive Programming (SSRP)716 weeks 13 hours ago
by fsantanna
14 weeks 6 days ago
by fsantanna
 Cool stuff from recent conferences015 weeks 1 day ago
by Ehud Lamm
n/a
XML feed