LtU Forum

 TopicRepliesCreatedLast reply sort icon
 hobbes, Morgan Stanley OSS104 days 8 hours ago
by Kalani
1 hour 39 min ago
by Kalani
 What would be involved in moving logic beyond FOL?1075 weeks 11 hours ago
by Charles Stewart
6 days 9 hours ago
by Neil Madden
 Just entertainment: Click, click, click!21 week 2 days ago
by marco
1 week 1 hour ago
by marco
 /join the #proglangdesign channel on Freenode01 week 1 day ago
by Dustin DeWeese
n/a
 Affine Types - Introductory reading261 year 18 weeks ago
by filipallberg
1 week 3 days ago
by skaller
 Is Datalog negation(¬) similar to the built-in predicate (≠)?42 weeks 2 days ago
by Milton Silva
2 weeks 1 day ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)02 weeks 3 days ago
by Sean McDirmid
n/a
 How to name the inverse functions of constructors2736 weeks 4 days ago
by hbrandl
2 weeks 4 days ago
by L Spice
 C runtime type info gimmick which supports scripting14 weeks 3 hours ago
by Rys McCusker
3 weeks 6 days ago
by Rys McCusker
 Restructor: Full Program Automatic Refactoring85 weeks 5 days ago
by Wouter
4 weeks 6 days ago
by gasche
 Abstractionless programming1913 years 4 weeks ago
by Wouter
5 weeks 5 days ago
by Wouter
 SK Calculus not Consider SeKsy?2910 years 33 weeks ago
by cdiggins
5 weeks 5 days ago
by Wouter
 Living it up with a Live Programming Language3610 years 17 weeks ago
by Sean McDirmid
5 weeks 5 days ago
by Wouter
 Free links to all (or practically all) recent SIGPLAN papers26 weeks 5 days ago
by emery
6 weeks 4 days ago
by johnwcowan
 Refining Structured Type System2023 weeks 1 hour ago
by Ivan Vodišek
7 weeks 2 days ago
by Ivan Vodišek
 Finding Solutions vs. Verifying Solutions399 weeks 2 days ago
by Ivan Vodišek
7 weeks 3 days ago
by Blaisorblade
 A refutation of Gödel's first incompleteness theorem16113 weeks 6 days ago
by Enrique Perez Arnaud
8 weeks 6 hours ago
by Enrique Perez Arnaud
 Any thoughts on WanaDecrypt0r?99 weeks 4 days ago
by marco
8 weeks 4 days ago
by Blaisorblade
 SW verification continues09 weeks 2 days ago
by hbrandl
n/a
 Prove: 'Cont r a = (a -> r) -> r' forms a monad4710 weeks 3 hours ago
by marco
9 weeks 2 days ago
by marco
 the type of eval in Shen09 weeks 3 days ago
by Mark Tarver
n/a
 Practical Principled FRP: Forget the past, change the future, FRPNow!632 years 3 weeks ago
by Sean McDirmid
9 weeks 6 days ago
by Keean Schupke
 Implementing typing rules -- how do I implement non-syntactic rules?210 weeks 4 days ago
by osa1
9 weeks 6 days ago
by osa1
 Domain specific language for playing games4227 weeks 3 days ago
by davidb
11 weeks 1 day ago
by marco
 The Two Dualities of Computation: Negative and Fractional Types113 years 8 weeks ago
by Greg Buchholz
12 weeks 1 day ago
by Ross Angle
XML feed