Jules Jacobs

typetitleauthor sort iconlast post
Forum topicBest value for overloading? naasking2018-09-06 21:19
Forum topicRepresenting Type Information in Dynamically Typed Languages Ray Dillinger2018-04-06 21:50
Forum topicA Functional Representation of Data Structures with a Hole (1998) Vladimir Slepnev2017-12-01 12:08
Forum topicAffine Types - Introductory reading filipallberg2017-07-10 02:17
StorySalon des Refusés -- Dialectics for new computer science gasche2017-02-19 07:18
Forum topicMarkdown support? gasche2017-01-10 13:52
StoryStroustrup's Rule and Layering Over Time Ehud Lamm2017-01-04 21:43
Forum topicList of POPL 2017 papers with crowd-sourced preprint links gasche2016-12-08 18:05
Forum topicIndispensible use cases for record subtyping? naasking2016-10-04 17:37
Forum topicLooking for references on the expressiveness and computational completeness of a relational programming language davidb2016-09-08 06:02
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