recent posts

type sort icontitleauthorlast post
StoryTemporal Higher Order Contracts gasche2016-02-05 16:20
StoryC is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Allan McInnes2016-03-25 19:25
StoryUsability of Programming Languages SIG at CHI'2016 Ehud Lamm2016-03-24 20:25
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