Julian Rohrhuber

typetitleauthor sort iconlast post
Forum topicDenominated Values - Part numeric and symbolic. Ray Dillinger2023-01-31 22:12
Forum topicJohn Shutt, creator of Kernel and an LtU regular, dies at 56 jdougan2021-10-14 09:16
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2021-08-17 17:18
StoryThe Left Hand of Equals naasking2019-06-20 19:16
Forum topicProof system for learning basic algebra Edwin Zacharias2018-05-25 20:27
Forum topicAre Monads a Waste of Time? Keean Schupke2018-03-16 00:59
Forum topicA Functional Representation of Data Structures with a Hole (1998) Vladimir Slepnev2017-12-01 12:08
Forum topicNon-determinism: a sublanguage rather than a monad Greg Buchholz2017-10-28 07:57
Forum topicThe Platonic Solids of Software Construction and Their Realization in C bryanedds2017-09-29 19:00
StorySalon des Refusés -- Dialectics for new computer science gasche2017-02-19 07:18
Forum topicBest successor to Scheme? raould2016-05-03 06:31
StoryStatic vs. Dynamic Languages: A Literature Review naasking2016-01-11 06:22
StorySapir-Whorf 70 years on bashyal2010-12-20 12:25
Forum topicClaiming Infinity Julian Rohrhuber2010-02-03 12:53
StoryHOPL-III: A History of Erlang Chris Rathman2008-05-26 04:27