typetitleauthorlast post sort icon
Forum topicMarkdown support? gasche2017-01-10 13:52
StoryStroustrup's Rule and Layering Over Time Ehud Lamm2017-01-04 21:43
Forum topicjsMath support? neelk2016-12-29 16:05
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
StoryC is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Allan McInnes2016-03-25 19:25
Forum topicProgrammatic and Direct Manipulation, Together at Last Sean McDirmid2016-02-13 20:21
StoryTemporal Higher Order Contracts gasche2016-02-05 16:20
Forum topicChallenges Facing a High-Level Language for Machine Knitting marco2016-02-03 22:07
Forum topicNeed to Talk marco2016-02-02 05:56
StoryCoordinated concurrent programming in Syndicate gasche2016-02-01 18:40