LtU Forum

 Topic sort iconRepliesCreatedLast reply
  Algorithmically Unbounded Journal of Mathematical Truths217 years 36 weeks ago
by Philip Dorrell
17 years 36 weeks ago
by Chris Rathman
  Colorful dominoes game hides an exercise in propositional logic312 years 26 weeks ago
by jasha123
12 years 25 weeks ago
by jasha123
  Compiler Technology for Scalable Architectures616 years 18 weeks ago
by OwcA
16 years 18 weeks ago
by Nuno Cruces
  FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software214 years 26 weeks ago
by drcode
14 years 25 weeks ago
by Ehud Lamm
  FringeDC Informal Meeting Saturday Nov 10014 years 34 weeks ago
by drcode
n/a
  Lisaac: The power of simplicity at work for operating systems1814 years 20 weeks ago
by naasking
13 years 41 weeks ago
by destrella
  Looking for a little advice with implementing recursion.229 years 21 weeks ago
by Clarkd
9 years 16 weeks ago
by rmovchan
  Monad Description For Imperative Programmer5814 years 48 weeks ago
by kaveh.shahbazian
14 years 45 weeks ago
by greg travis
  Rosetta Challenge Tasks added to the 2010 Dyalog Programming Contest 112 years 4 weeks ago
by Morten Kromberg
12 years 3 weeks ago
by paddy3118
  Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus06 years 8 weeks ago
by raould
n/a
  SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS?514 years 2 weeks ago
by hWnd
14 years 1 week ago
by Burton Samograd
  System F with Type Equality Coercions216 years 12 weeks ago
by genneth
16 years 12 weeks ago
by genneth
  The hits and misses of Microsoft3314 years 1 week ago
by Ehud Lamm
13 years 51 weeks ago
by Leon P Smith
 "A Theory of Interprocess Communication" -- Leslie Lamport511 years 37 weeks ago
by Thomas Lord
11 years 36 weeks ago
by el-vadimo
 "applicative" vs."functional"317 years 2 weeks ago
by bdenckla
17 years 2 weeks ago
by Anton van Straaten
 "Critical code studies"5612 years 8 weeks ago
by Travis Brown
12 years 6 weeks ago
by Andrew Moss
 "Crutches in language design", accidental complexity and feature overlap3310 years 37 weeks ago
by gasche
10 years 34 weeks ago
by skaller
 "Declarative" or "Functional"615 years 12 weeks ago
by kaveh.shahbazian
15 years 11 weeks ago
by Chas Emerick
 "Don't become a scientist" discussion at HN414 years 18 weeks ago
by hhm
14 years 18 weeks ago
by hhm
 "Down with Lambda-Lifting"516 years 11 weeks ago
by dbfaken
8 years 18 weeks ago
by gasche
 "dynamic" generative programming?917 years 1 week ago
by bdenckla
17 years 1 week ago
by bdenckla
 "Fog Cutter" model illustrates Actor Model issues48 years 30 weeks ago
by Hewitt
8 years 30 weeks ago
by Hewitt
 "Folding"/FP traversal over trees1015 years 30 weeks ago
by dbfaken
15 years 30 weeks ago
by dbfaken
 "Fortress Wrapping Up"229 years 49 weeks ago
by Alan Eliasen
9 years 33 weeks ago
by George Fraser
 "Future of Programming Languages" panel1511 years 32 weeks ago
by puredanger
11 years 29 weeks ago
by Tom Novelli
XML feed