LtU Forum

 Topic sort iconRepliesCreatedLast reply
  Algorithmically Unbounded Journal of Mathematical Truths212 years 18 weeks ago
by Philip Dorrell
12 years 18 weeks ago
by Chris Rathman
  Colorful dominoes game hides an exercise in propositional logic37 years 7 weeks ago
by jasha123
7 years 7 weeks ago
by jasha123
  Compiler Technology for Scalable Architectures611 years 4 days ago
by OwcA
11 years 20 hours ago
by Nuno Cruces
  FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software29 years 8 weeks ago
by drcode
9 years 7 weeks ago
by Ehud Lamm
  FringeDC Informal Meeting Saturday Nov 1009 years 16 weeks ago
by drcode
n/a
  Lisaac: The power of simplicity at work for operating systems189 years 2 weeks ago
by naasking
8 years 22 weeks ago
by destrella
  Looking for a little advice with implementing recursion.224 years 3 weeks ago
by Clarkd
3 years 50 weeks ago
by rmovchan
  Monad Description For Imperative Programmer589 years 30 weeks ago
by kaveh.shahbazian
9 years 27 weeks ago
by greg travis
  Rosetta Challenge Tasks added to the 2010 Dyalog Programming Contest 16 years 38 weeks ago
by Morten Kromberg
6 years 37 weeks ago
by paddy3118
  Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus042 weeks 3 days ago
by raould
n/a
  SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS?58 years 36 weeks ago
by hWnd
8 years 35 weeks ago
by Burton Samograd
  System F with Type Equality Coercions210 years 46 weeks ago
by genneth
10 years 46 weeks ago
by genneth
  The hits and misses of Microsoft338 years 35 weeks ago
by Ehud Lamm
8 years 33 weeks ago
by Leon P Smith
 "A Theory of Interprocess Communication" -- Leslie Lamport56 years 19 weeks ago
by Thomas Lord
6 years 18 weeks ago
by el-vadimo
 "applicative" vs."functional"311 years 36 weeks ago
by bdenckla
11 years 36 weeks ago
by Anton van Straaten
 "Critical code studies"566 years 42 weeks ago
by Travis Brown
6 years 40 weeks ago
by Andrew Moss
 "Crutches in language design", accidental complexity and feature overlap335 years 19 weeks ago
by gasche
5 years 16 weeks ago
by skaller
 "Declarative" or "Functional"69 years 46 weeks ago
by kaveh.shahbazian
9 years 45 weeks ago
by Chas Emerick
 "Don't become a scientist" discussion at HN49 years 5 days ago
by hhm
9 years 3 days ago
by hhm
 "Down with Lambda-Lifting"510 years 45 weeks ago
by dbfaken
3 years 4 days ago
by gasche
 "dynamic" generative programming?911 years 35 weeks ago
by bdenckla
11 years 35 weeks ago
by bdenckla
 "Fog Cutter" model illustrates Actor Model issues43 years 12 weeks ago
by Hewitt
3 years 12 weeks ago
by Hewitt
 "Folding"/FP traversal over trees1010 years 12 weeks ago
by dbfaken
10 years 12 weeks ago
by dbfaken
 "Fortress Wrapping Up"224 years 31 weeks ago
by Alan Eliasen
4 years 15 weeks ago
by George Fraser
 "Future of Programming Languages" panel156 years 13 weeks ago
by puredanger
6 years 11 weeks ago
by Tom Novelli
XML feed