Jon Purdy

typetitleauthorlast post sort icon
Forum topicType system based on epistemic modal logic? Jon Purdy2017-09-12 02:48
Forum topicisomorƒ: an experimental structured editor for witing/deploying functional code Brian Kent2017-08-15 18:39
StoryA Next Generation Smart Contract and Decentralized Application Platform Manuel J. Simoni2017-07-26 12:09
Forum topicHow to name the inverse functions of constructors hbrandl2017-07-03 00:16
Forum topicProve: 'Cont r a = (a -> r) -> r' forms a monad marco2017-05-16 02:03
Forum topicGeneric overload resolution Jon Purdy2017-01-22 15:41
Forum topicResources for implementing higher-kinded types? Jon Purdy2016-11-11 10:40
Forum topicGarbage Collection Based on a Linear Type System raould2015-11-03 06:48
Forum topicModeration on LtU gasche2015-09-05 11:34
Forum topicCallisto: building a minimalist language on "versioned objects" gasche2015-05-14 23:00
Forum topicHow can middle school algebra help with domain specific languages? shahbaz2015-01-21 17:18
Forum topicLooking for a good online forum on compiler design and implementation Talin2014-12-03 22:33
Forum topicWho Needs Garbage Collection? Keean Schupke2014-09-20 06:41
Forum topicThose pesky higher-rank types. Or how to type \f x y. (f x, f y) marco2014-05-26 17:22
Forum topicDisallow shadowing? Y2014-02-25 02:06
Forum topicHow about switching to Markdown? Y2014-02-15 23:39
Forum topicBooleans vs strings jamii2014-02-15 22:49
Forum topicPractical rules for controlling program effects in an imperative / OOP environment. bryanedds2013-12-08 06:50
Forum topicDefault, implicit, inherited Aivar Annamaa2013-12-01 10:14
Forum topicWhy is Static Typing Hard? Jon Purdy2013-11-12 18:56
StoryTaking Off the Gloves with Reference Counting Immix naasking2013-10-18 02:42
Forum topicHow is LtU doing? Sean McDirmid2013-09-29 23:55
Forum topicCoroutines as a Basis for UI Programming Jason Priestley2013-09-15 00:40
StoryMixed-Site Variance bashyal2013-09-09 21:39
StoryWhy Concatenative Programming Matters James Iry2013-09-09 19:40