LtU Forum

 Topic sort iconRepliesCreatedLast reply
  Algorithmically Unbounded Journal of Mathematical Truths216 years 19 weeks ago
by Philip Dorrell
16 years 19 weeks ago
by Chris Rathman
  Colorful dominoes game hides an exercise in propositional logic311 years 9 weeks ago
by jasha123
11 years 8 weeks ago
by jasha123
  Compiler Technology for Scalable Architectures615 years 1 week ago
by OwcA
15 years 1 week ago
by Nuno Cruces
  FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software213 years 9 weeks ago
by drcode
13 years 8 weeks ago
by Ehud Lamm
  FringeDC Informal Meeting Saturday Nov 10013 years 17 weeks ago
by drcode
n/a
  Lisaac: The power of simplicity at work for operating systems1813 years 3 weeks ago
by naasking
12 years 24 weeks ago
by destrella
  Looking for a little advice with implementing recursion.228 years 4 weeks ago
by Clarkd
7 years 51 weeks ago
by rmovchan
  Monad Description For Imperative Programmer5813 years 31 weeks ago
by kaveh.shahbazian
13 years 28 weeks ago
by greg travis
  Rosetta Challenge Tasks added to the 2010 Dyalog Programming Contest 110 years 39 weeks ago
by Morten Kromberg
10 years 38 weeks ago
by paddy3118
  Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus04 years 43 weeks ago
by raould
n/a
  SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS?512 years 37 weeks ago
by hWnd
12 years 36 weeks ago
by Burton Samograd
  System F with Type Equality Coercions214 years 47 weeks ago
by genneth
14 years 47 weeks ago
by genneth
  The hits and misses of Microsoft3312 years 36 weeks ago
by Ehud Lamm
12 years 34 weeks ago
by Leon P Smith
 "A Theory of Interprocess Communication" -- Leslie Lamport510 years 21 weeks ago
by Thomas Lord
10 years 19 weeks ago
by el-vadimo
 "applicative" vs."functional"315 years 37 weeks ago
by bdenckla
15 years 37 weeks ago
by Anton van Straaten
 "Critical code studies"5610 years 43 weeks ago
by Travis Brown
10 years 42 weeks ago
by Andrew Moss
 "Crutches in language design", accidental complexity and feature overlap339 years 20 weeks ago
by gasche
9 years 17 weeks ago
by skaller
 "Declarative" or "Functional"613 years 48 weeks ago
by kaveh.shahbazian
13 years 46 weeks ago
by Chas Emerick
 "Don't become a scientist" discussion at HN413 years 1 week ago
by hhm
13 years 1 week ago
by hhm
 "Down with Lambda-Lifting"514 years 46 weeks ago
by dbfaken
7 years 1 week ago
by gasche
 "dynamic" generative programming?915 years 36 weeks ago
by bdenckla
15 years 36 weeks ago
by bdenckla
 "Fog Cutter" model illustrates Actor Model issues47 years 13 weeks ago
by Hewitt
7 years 13 weeks ago
by Hewitt
 "Folding"/FP traversal over trees1014 years 13 weeks ago
by dbfaken
14 years 13 weeks ago
by dbfaken
 "Fortress Wrapping Up"228 years 33 weeks ago
by Alan Eliasen
8 years 16 weeks ago
by George Fraser
 "Future of Programming Languages" panel1510 years 15 weeks ago
by puredanger
10 years 12 weeks ago
by Tom Novelli
XML feed