LtU Forum

 TopicRepliesCreatedLast reply sort icon
 The Programming Language Wars: Questions and Responsibilities for the Programming Language Community 761 week 1 day ago
by Phil Miess
3 hours 47 min ago
by Josh Scholar
 Types are fundamental to both logic and computation231 week 2 days ago
by Hewitt
10 hours 48 min ago
by Hewitt
 Controversy over the definition of "Logic Program"591 week 4 days ago
by Hewitt
14 hours 8 min ago
by dmbarbour
 Type Differentials56 days 12 hours ago
by Talin
18 hours 42 min ago
by Blaisorblade
 Fixing broken software development for the masses141 week 2 days ago
by raould
3 days 15 hours ago
by raould
 C++ Parser Combinator Library7751 weeks 1 day ago
by Keean Schupke
1 week 3 hours ago
by Keean Schupke
 Whither Effects-Continuations-Monads?21 week 2 days ago
by raould
1 week 2 days ago
by BrandonBloom
 The mother of all PL demos21 week 3 days ago
by Sean McDirmid
1 week 2 days ago
by Sean McDirmid
 Why we don't believe in Visual Programming 112 weeks 2 days ago
by Tiago Simoes
1 week 4 days ago
by dmbarbour
 how many lines of code can civilization support?3035 weeks 1 day ago
by Thomas Lord
2 weeks 2 days ago
by Rys McCusker
 Actors for CyberThings32 weeks 6 days ago
by Hewitt
2 weeks 2 days ago
by Hewitt
 Who owns your research? Results of SIGPLAN Open Access survey 324 weeks 3 days ago
by gasche
2 weeks 4 days ago
by Hewitt
 ioflo / floscript: decoupled dataflow born of autonomous systems03 weeks 3 days ago
by raould
n/a
 1ML — Core and modules united1266 weeks 3 days ago
by Tom Primožič
3 weeks 4 days ago
by Andreas Rossberg
 cicada-nymph -- a forth-like language for to teach26 weeks 2 days ago
by xieyuheng
6 weeks 1 day ago
by xieyuheng
 Constraint typing, subtyping, and separate compilation446 weeks 6 days ago
by Sean McDirmid
6 weeks 2 days ago
by Keean Schupke
 SPLASH 2015: 2nd Call for Contributions: OOPSLA, Onward!, Workshops, Dynamic Languages Symposium06 weeks 5 days ago
by craiganslow
n/a
 Type Inference in Object Oriented Languages149 years 4 weeks ago
by Johan Tibell
6 weeks 6 days ago
by Sean McDirmid
 Seeking candidates to work on a custom compiler/language in NYC27 weeks 4 days ago
by Kalani
7 weeks 3 days ago
by raould
 general patterns in PL persistence schemes?7410 weeks 4 days ago
by Rys McCusker
8 weeks 5 days ago
by Anton van Straaten
 Making implicits less powerful?7345 weeks 3 days ago
by Vladimir Slepnev
9 weeks 1 day ago
by L Spice
 Negation in Logic Languages3112 weeks 3 days ago
by Keean Schupke
9 weeks 2 days ago
by Keean Schupke
 Constraint-Based Type Inference and Parametric Polymorphism951 year 42 weeks ago
by Sean McDirmid
10 weeks 1 day ago
by Sean McDirmid
 Job ads311 weeks 5 hours ago
by Kalani
10 weeks 3 days ago
by Kalani
 symbols and loosely coupled concurrent apps part II2016 weeks 2 days ago
by Rys McCusker
10 weeks 4 days ago
by Rys McCusker
XML feed