gasche

typetitleauthorlast post sort icon
StoryPolymorphism, subtyping and type inference in MLsub gasche2017-01-21 21:35
StoryDo Be Do Be Do gasche2017-01-12 18:51
StoryThe complexity of abstract machines gasche2017-01-12 01:09
Forum topicMarkdown support? gasche2017-01-10 13:52
StorySalon des Refusés -- Dialectics for new computer science gasche2017-01-08 16:11
StoryStroustrup's Rule and Layering Over Time Ehud Lamm2017-01-04 21:43
Forum topicjsMath support? neelk2016-12-29 16:05
StoryContextual isomorphisms gasche2016-12-17 15:14
Forum topicHow to name the inverse functions of constructors hbrandl2016-12-17 01:37
Forum topicList of POPL 2017 papers with crowd-sourced preprint links gasche2016-12-08 18:05
Forum topicSplitting witnesses up Z-Bo2016-11-30 17:22
Forum topicBest value for overloading? naasking2016-11-07 18:29
Forum topicBottom Types Keean Schupke2016-10-07 22:33
StoryPycket: A Tracing JIT For a Functional Language gasche2016-10-06 00:41
Forum topicTerm Rewrite System Implementations? Ivan Vodišek2016-09-18 00:10
Forum topicIs there a language with the ability to write arbitrary type functions? davidb2016-08-24 18:18
StoryFully Abstract Compilation via Universal Embedding naasking2016-08-04 09:26
Forum topichow to design PL support for effects emerging from parallel non-determinism? Rys McCusker2016-07-15 20:51
Forum topicRecursive types skaller2016-06-17 06:02
StoryHow to Build Static Checking Systems Using Orders of Magnitude Less Code naasking2016-06-12 18:06
Forum topicPLDI 2016 Proceedings now available on-line, free for 3 weeks emery2016-06-04 17:30
Forum topicAlgebra Of Pointers Keean Schupke2016-05-10 23:01
Forum topicPL's hotness challenge Sean McDirmid2016-05-10 06:04
Forum topicBest successor to Scheme? raould2016-05-03 06:31
Forum topicFormalization and programming language design -- explained to all gasche2016-04-01 05:40