Matt M

typetitleauthorlast post sort icon
Forum topicJohn Shutt, creator of Kernel and an LtU regular, dies at 56 jdougan2021-10-14 09:16
Forum topicIs character as a type meaningless? Mats2020-09-16 20:52
Forum topicGodel and Meta-Circularity Matt M2020-09-16 03:37
Forum topicExhaustiveness checks for algorithms that manipulate imperative data structures Eduardo León2020-08-30 14:57
Forum topicIEEE Scheme expiring soon johnwcowan2020-04-14 07:48
Forum topicThe Way-Too-Early announce: Ecstasy cpurdy2019-11-11 13:37
StoryApplied Category Theory - The Emerging Science of Compositionality Manuel J. Simoni2019-09-10 22:22
Forum topicVideo on Unison/comparison to Haskell/Monads/distributed computing AntC2019-02-25 23:25
Forum topicLooking for papers on covariance and contravariance AaronNGray2019-02-10 18:33
StoryOn compositionality Charles Stewart2018-10-23 17:45
StoryNotes on notation and thought Ehud Lamm2018-08-05 22:54
Story"C Is Not a Low-level Language" Allan McInnes2018-08-02 15:16
StoryPolymorphism, subtyping and type inference in MLsub gasche2018-07-13 00:37
Forum topicHigher Order Functions Considered Unnecessary for Higher Order Programming irisjae2018-07-12 18:54
StoryCaptcha Ehud Lamm2018-07-09 18:16
Forum topicC++ fun chrisoliver2018-06-11 02:05
Forum topicProof system for learning basic algebra Edwin Zacharias2018-05-25 20:27
StoryHow to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules Andris Birkmanis2018-05-21 07:37
Forum topicType Bombs marco2018-05-17 10:51
Forum topicExpressions of Change vanschelven2018-04-30 16:30
Forum topicADMIN: You NEED to set up HTTPS soon Bárður Árantsson2018-04-15 23:49
Forum topicNon-transitivity of type unification AntC2018-03-18 15:28
Forum topicAre "jets" a good idea? xkapastel2018-03-16 14:28
Forum topicAre Monads a Waste of Time? Keean Schupke2018-03-16 00:59
Forum topicGADTs as gaurds Matt M2018-03-14 20:29