recent posts

type sort icontitleauthorlast post
StoryNo value restriction is needed for algebraic effects and handlers naasking2017-08-20 17:28
StoryHow to Build Static Checking Systems Using Orders of Magnitude Less Code naasking2016-06-12 18:06
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