Jules Jacobs

typetitleauthor sort iconlast post
StoryHow to Build Static Checking Systems Using Orders of Magnitude Less Code naasking2016-06-12 18:06
Forum topicPL's hotness challenge Sean McDirmid2016-05-10 06:04
StorySimon Peyton Jones elected into the Royal Society Fellowship Ohad Kammar2016-05-01 16:27
StorySecond-order logic explained in plain English Charles Stewart2016-02-19 12:40
StoryStatic vs. Dynamic Languages: A Literature Review naasking2016-01-11 06:22
Forum topicPOPL 2016 Research program... Sean McDirmid2015-12-13 11:48
StoryProgramming with Algebraic Effects and Handlers Matt Hellige2015-12-04 03:11
Forum topicThe impact of syntax colouring on program comprehension Jules Jacobs2015-11-26 12:54
Forum topic1ML — Core and modules united Tom Primožič2015-11-09 21:29
Forum topicPL vs. PX Sean McDirmid2015-10-26 18:24
Forum topicalternate basic models of framing code behavior and purpose? Rys McCusker2015-10-15 04:27
Forum topicOptimal efficiency Keean Schupke2015-10-12 06:19
Forum topicLive programming in APX, an early peek Sean McDirmid2015-09-30 15:45
Forum topicSubclass, superclass, or siblings under an abstract superclass? Ray Dillinger2015-09-29 15:36
Forum topicmeta: September "propose a post" post (proposal) Thomas Lord2015-09-15 10:27
Forum topicAfter over two years and 1700 commits, the Nu Game Engine (the world's first practical pure functional game engine) reaches v1.0 bryanedds2015-09-14 14:37
StoryFreer Monads, More Extensible Effects naasking2015-09-14 03:17
Forum topicModeration on LtU gasche2015-09-05 11:34
Forum topicAnother "big" question Ehud Lamm2015-09-02 15:49
Forum topicBig questions Ehud Lamm2015-08-27 03:57
Forum topicEric Lippert's Sharp Regrets Wolf Logan2015-08-24 11:10
Forum topicContinuous feedback in PL Sean McDirmid2015-08-21 14:39
Forum topicAre Actors a Good Model for Computation. Keean Schupke2015-08-19 02:04
Forum topicBranch Prediction and the Performance of Interpreters - Don’t Trust Folklore adrieng2015-08-18 16:42
Forum topicLimitations of FRP? Sean McDirmid2015-08-04 08:28