LtU Forum

 TopicReplies sort iconCreatedLast reply
 LLVM 1.3 is released013 years 36 weeks ago
by Chris Lattner
n/a
 Egel Language v0.1052 weeks 1 hour ago
by marco
n/a
 Functional Programming at Jane Street07 years 48 weeks ago
by yminsky
n/a
 Crowdsourced Enumeration Queries04 years 41 weeks ago
by lmeyerov
n/a
 Commercial Users of Functional Programming (CUFP 2014) call for proposals04 years 1 day ago
by Tim Chevalier
n/a
 Whither compositionality: Declarative vs. imperative?03 years 20 weeks ago
by raould
n/a
 Notes on category theory and the pi calculus011 years 15 weeks ago
by stevechy
n/a
 Nested data parallelism in Haskell (video)010 years 47 weeks ago
by magnus
n/a
 IBM Programming Languages Day013 years 9 weeks ago
by Isaac Gouy
n/a
 Combinator logic inference08 years 32 weeks ago
by Russell Wallace
n/a
 SPLASH 2011 Video Conversations on Channel 906 years 23 weeks ago
by Charles Torre
n/a
 Stream Processing with a Spreadsheet03 years 36 weeks ago
by Sean McDirmid
n/a
 Off Topic Humour: New Programming Language C+-012 years 45 weeks ago
by David B. Wildgoose
n/a
 Types and Proof Carrying Code: Mobius012 years 28 weeks ago
by raould
n/a
 OOPSLA 2006 Call for Contributions012 years 9 weeks ago
by w7cook
n/a
 Lazy Christmas Gift08 years 17 weeks ago
by marco
n/a
 Workshop on Synchronization and Concurrency in OO languages012 years 19 weeks ago
by Sriram Srinivasan
n/a
 Stronger relationships between structures011 years 11 weeks ago
by Kannan Goundan
n/a
 Registration for the 10th ICFP Programming Contest is open010 years 42 weeks ago
by Stefan Holdermans
n/a
 ML Modules in C#010 years 16 weeks ago
by naasking
n/a
 Generalized Arrows are Multi Level Languages07 years 2 days ago
by dmbarbour
n/a
 TinyML - Lexer, Parser, Interpreter, and Polymorphic Type Checker in Under 700 Lines of SML010 years 8 weeks ago
by frostytrees
n/a
 Inheritance and formal verification of software05 years 51 weeks ago
by hbrandl
n/a
 JPred -- predicate dispatch for Java013 years 2 weeks ago
by meltsner
n/a
 iTasks: Defining Interactive Work Flows for the Web010 years 40 weeks ago
by Isaac Gouy
n/a
XML feed