LtU Forum

 Topic sort iconRepliesCreatedLast reply
  Algorithmically Unbounded Journal of Mathematical Truths218 years 49 weeks ago
by Philip Dorrell
18 years 49 weeks ago
by Chris Rathman
  Colorful dominoes game hides an exercise in propositional logic313 years 38 weeks ago
by jasha123
13 years 38 weeks ago
by jasha123
  Compiler Technology for Scalable Architectures617 years 31 weeks ago
by OwcA
17 years 31 weeks ago
by Nuno Cruces
  FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software215 years 39 weeks ago
by drcode
15 years 38 weeks ago
by Ehud Lamm
  FringeDC Informal Meeting Saturday Nov 10015 years 47 weeks ago
by drcode
n/a
  Lisaac: The power of simplicity at work for operating systems1815 years 33 weeks ago
by naasking
15 years 1 week ago
by destrella
  Looking for a little advice with implementing recursion.2210 years 33 weeks ago
by Clarkd
10 years 29 weeks ago
by rmovchan
  Monad Description For Imperative Programmer5816 years 9 weeks ago
by kaveh.shahbazian
16 years 6 weeks ago
by greg travis
  Rosetta Challenge Tasks added to the 2010 Dyalog Programming Contest 113 years 16 weeks ago
by Morten Kromberg
13 years 16 weeks ago
by paddy3118
  Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus07 years 21 weeks ago
by raould
n/a
  SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS?515 years 15 weeks ago
by hWnd
15 years 14 weeks ago
by Burton Samograd
  System F with Type Equality Coercions217 years 24 weeks ago
by genneth
17 years 24 weeks ago
by genneth
  The hits and misses of Microsoft3315 years 13 weeks ago
by Ehud Lamm
15 years 12 weeks ago
by Leon P Smith
 "A Theory of Interprocess Communication" -- Leslie Lamport512 years 50 weeks ago
by Thomas Lord
12 years 49 weeks ago
by el-vadimo
 "applicative" vs."functional"318 years 14 weeks ago
by bdenckla
18 years 14 weeks ago
by Anton van Straaten
 "Critical code studies"5613 years 20 weeks ago
by Travis Brown
13 years 19 weeks ago
by Andrew Moss
 "Crutches in language design", accidental complexity and feature overlap3311 years 50 weeks ago
by gasche
11 years 47 weeks ago
by skaller
 "Declarative" or "Functional"616 years 25 weeks ago
by kaveh.shahbazian
16 years 23 weeks ago
by Chas Emerick
 "Don't become a scientist" discussion at HN415 years 31 weeks ago
by hhm
15 years 31 weeks ago
by hhm
 "Down with Lambda-Lifting"517 years 23 weeks ago
by dbfaken
9 years 31 weeks ago
by gasche
 "dynamic" generative programming?918 years 14 weeks ago
by bdenckla
18 years 13 weeks ago
by bdenckla
 "Fog Cutter" model illustrates Actor Model issues49 years 43 weeks ago
by Hewitt
9 years 43 weeks ago
by Hewitt
 "Folding"/FP traversal over trees1016 years 43 weeks ago
by dbfaken
16 years 43 weeks ago
by dbfaken
 "Fortress Wrapping Up"2211 years 10 weeks ago
by Alan Eliasen
10 years 46 weeks ago
by George Fraser
 "Future of Programming Languages" panel1512 years 44 weeks ago
by puredanger
12 years 41 weeks ago
by Tom Novelli
XML feed