type | title | author | last post  |
Forum topic | Denominated Values - Part numeric and symbolic. | Ray Dillinger | 2023-01-31 22:12 |
Forum topic | John Shutt, creator of Kernel and an LtU regular, dies at 56 | jdougan | 2021-10-14 09:16 |
Story | Turnstile+: Dependent Type Systems as Macros | Charles Stewart | 2021-08-17 17:18 |
Story | The Left Hand of Equals | naasking | 2019-06-20 19:16 |
Forum topic | Proof system for learning basic algebra | Edwin Zacharias | 2018-05-25 20:27 |
Forum topic | Are Monads a Waste of Time? | Keean Schupke | 2018-03-16 00:59 |
Forum topic | A Functional Representation of Data Structures with a Hole (1998) | Vladimir Slepnev | 2017-12-01 12:08 |
Forum topic | Non-determinism: a sublanguage rather than a monad | Greg Buchholz | 2017-10-28 07:57 |
Forum topic | The Platonic Solids of Software Construction and Their Realization in C | bryanedds | 2017-09-29 19:00 |
Story | Salon des Refusés -- Dialectics for new computer science | gasche | 2017-02-19 07:18 |
Forum topic | Best successor to Scheme? | raould | 2016-05-03 06:31 |
Story | Static vs. Dynamic Languages: A Literature Review | naasking | 2016-01-11 06:22 |
Story | Sapir-Whorf 70 years on | bashyal | 2010-12-20 12:25 |
Forum topic | Claiming Infinity | Julian Rohrhuber | 2010-02-03 12:53 |
Story | HOPL-III: A History of Erlang | Chris Rathman | 2008-05-26 04:27 |
|
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