LtU Forum

 TopicRepliesCreatedLast reply sort icon
 message, stream and protocol typing263 days 3 hours ago
by Rys McCusker
3 hours 45 min ago
by Rys McCusker
 More information about Albatross192 days 10 hours ago
by hbrandl
16 hours 41 min ago
by gasche
 EDSL for hardworking IT programmers21 day 9 hours ago
by jmatsushita
1 day 7 hours ago
by jmatsushita
 SPLASH 2015 - Call for Contributions: Other Tracks02 days 1 hour ago
by craiganslow
n/a
 From Programming Language Design (PLD) to Programmer Experience Design (PXD)1961 week 1 day ago
by Sean McDirmid
2 days 12 hours ago
by marco
 Who owns your research? Results of SIGPLAN Open Access survey 358 weeks 1 day ago
by gasche
3 days 5 min ago
by johnwcowan
 Divergence not bottom?265 days 4 hours ago
by Matt M
3 days 52 min ago
by Matt M
 Compilation to C, a definitive guide?1825 years 32 weeks ago
by naasking
3 days 3 hours ago
by Hewitt
 The Programming Language Wars: Questions and Responsibilities for the Programming Language Community 1285 weeks 1 hour ago
by Phil Miess
4 days 10 hours ago
by johnwcowan
 Trouble understanding Danvy's functional unparsing74 days 19 hours ago
by jezng
4 days 11 hours ago
by johnwcowan
 Live Coding at Come Alive76 days 7 hours ago
by marco
5 days 2 hours ago
by Sean McDirmid
 CEPTR presentation @ MIT KIT01 week 2 hours ago
by raould
n/a
 Callisto: building a minimalist language on "versioned objects"42 weeks 1 day ago
by gasche
1 week 1 day ago
by Sean McDirmid
 Nanopass Compiler Framework228 years 47 weeks ago
by Bryan Turner
1 week 2 days ago
by Keean Schupke
 Casting addresses of other Actors considered harmful92 weeks 9 hours ago
by Hewitt
1 week 3 days ago
by Hewitt
 A sketch of a "design papers/pearls" category in academic conferences81 week 4 days ago
by gasche
1 week 3 days ago
by raould
 FLOPS 2016, promoting cross-fertilization across the whole declarative programming and theory and practice01 week 4 days ago
by Oleg
n/a
 Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment163 weeks 4 days ago
by Sean McDirmid
1 week 5 days ago
by Keean Schupke
 Type Theory Glossary92 weeks 4 days ago
by naasking
1 week 6 days ago
by John Shutt
 Albatross formerly called Modern Eiffel is available133 weeks 1 day ago
by hbrandl
2 weeks 5 hours ago
by hbrandl
 1ML — Core and modules united14310 weeks 2 days ago
by Tom Primožič
2 weeks 19 hours ago
by Keean Schupke
 What makes LtU more or less enjoyable?613 weeks 4 days ago
by gasche
2 weeks 1 day ago
by Ehud Lamm
 Types are fundamental to both logic and computation1315 weeks 21 hours ago
by Hewitt
2 weeks 3 days ago
by Hewitt
 Pony Actor/OO with Deny Capabilities22 weeks 4 days ago
by raould
2 weeks 3 days ago
by dmbarbour
 Generating compiler back ends at the snap of a finger33 weeks 2 hours ago
by raould
2 weeks 3 days ago
by qznc
XML feed