recent posts

type sort icontitleauthorlast post
StorySet-Theoretic Types for Polymorphic Variants naasking2016-06-09 18:41
StoryDynamic Witnesses for Static Type Errors (or, ill-typed programs usually go wrong) naasking2016-06-18 12:52
StoryAdmin Ehud Lamm2016-07-24 14:16
StoryFully Abstract Compilation via Universal Embedding naasking2016-08-04 09:26
StoryPhilip Wadler: Category Theory for the Working Hacker Ehud Lamm2016-09-23 20:29
StoryPowerShell is open sourced and is available on Linux Ehud Lamm2016-08-21 21:31
StoryAutomating Ad hoc Data Representation Transformations naasking2016-09-29 18:54
StoryProving Programs Correct Using Plain Old Java Types naasking2016-11-11 00:28
StorySalon des Refusés -- Dialectics for new computer science gasche2017-02-19 07:18
StoryPolymorphism, subtyping and type inference in MLsub gasche2018-07-13 00:37