recent posts

type sort icontitleauthorlast post
StoryType Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance naasking2016-09-20 05:47
StorySimon Peyton Jones elected into the Royal Society Fellowship Ohad Kammar2016-05-01 16:27
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