type | title | author | last post  |
Story | Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing | James Iry | 2011-02-05 00:39 |
Story | Scala Team Wins ERC Grant | Ehud Lamm | 2011-01-18 05:47 |
Story | Generics: The Importance of Wildcards | Ehud Lamm | 2011-01-14 15:36 |
Forum topic | The Myths of Object-Orientation | el-vadimo | 2010-12-21 17:28 |
Forum topic | expressivity of "idiomatic C++" | el-vadimo | 2010-11-10 22:56 |
Forum topic | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) | Greg Buchholz | 2010-10-22 21:48 |
Story | Joe Duffy: A (brief) retrospective on transactional memory | Z-Bo | 2010-09-09 12:58 |
Story | Type Classes as Objects and Implicits | Paul Snively | 2010-08-26 06:09 |
Forum topic | Overlapping Instances + Functional Dependencies Unsound? | shap | 2010-08-08 15:11 |
Story | Scribble: Closing the Book on Ad Hoc Documentation Tools | Manuel J. Simoni | 2010-07-23 23:54 |
Story | Functional Pearl: Species and Functors and Types, Oh My! | Matt Hellige | 2010-07-05 09:38 |
Story | Intel Concurrent Collections for Haskell | Ehud Lamm | 2010-06-28 22:01 |
Forum topic | Should let be generalized? | Douglas McClean | 2010-03-12 21:18 |
Forum topic | NaNs and reflexivity | Bertrand_Meyer | 2010-02-16 14:50 |
Forum topic | The Next Mainstream Programming Languages | Per Vognsen | 2010-01-24 13:32 |
Forum topic | Pragmatic declarative event abstraction | Sean McDirmid | 2009-12-05 02:56 |
Forum topic | Seeking broad survey of wide range of concurrency idioms | scottmcl | 2009-11-06 19:57 |
Story | SequenceL - declarative computation on nonscalars | Allan McInnes | 2009-11-03 12:28 |
Story | Patrick Logan on Software Transaction Memory | Ehud Lamm | 2009-10-26 21:48 |
Story | The End of the GPU Roadmap | Noel | 2009-10-23 10:03 |
Forum topic | Monadic Constraint Programming | Greg Buchholz | 2009-06-04 03:15 |
Forum topic | What is the dual of { } ? | Kay Schluehr | 2009-02-12 08:58 |
Forum topic | Ruling out nonsensical data type definitions | Douglas McClean | 2009-02-03 22:54 |
Story | On the Strength of Proof-Irrelevant Type Theories | James Iry | 2009-01-16 12:10 |
Forum topic | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) | scottmcl | 2009-01-11 22:50 |
|
Recent comments
1 week 3 days ago
41 weeks 5 days ago
41 weeks 5 days ago
41 weeks 5 days ago
1 year 11 weeks ago
1 year 16 weeks ago
1 year 17 weeks ago
1 year 17 weeks ago
1 year 20 weeks ago
1 year 25 weeks ago