Bruce J. Bell

typetitleauthorlast post sort icon
Forum topicContext Sensitivity and relational comparison operators Ray Dillinger2023-09-17 22:45
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2021-08-17 17:18
Forum topicUse Cases for Shared-Memory Concurrency? shap2020-09-18 21:51
StoryPhilip Wadler: Category Theory for the Working Hacker Ehud Lamm2016-09-23 20:29
Forum topicProgramming Languages as Mathematical Representations mfidelman2016-09-03 23:25
Forum topichow to design PL support for effects emerging from parallel non-determinism? Rys McCusker2016-07-15 20:51
Forum topicTyped Data Andrew Moss2015-12-31 08:59
Forum topicAre Actors a Good Model for Computation. Keean Schupke2015-08-19 02:04
Forum topicinline vs scatter/gather separate annotation Rys McCusker2015-08-04 04:33
Forum topicResearch vs implementation, theory vs practice, and LtU Blaisorblade2015-07-28 16:57
Forum topicCompilation to C, a definitive guide? naasking2015-07-05 19:00
StorySelf-Representation in Girard’s System U naasking2015-06-18 22:53
Forum topicGood syntax for single argument methods? Sean McDirmid2015-06-17 21:36
Forum topicprocess oriented PL boot-strapping Rys McCusker2015-06-05 17:47
StoryComposite Replicated Data Types: eventually consistent libraries as non-leaky abstractions gasche2015-05-30 21:12
Forum topicFrom Programming Language Design (PLD) to Programmer Experience Design (PXD) Sean McDirmid2015-05-20 12:15
Forum topicThe Programming Language Wars: Questions and Responsibilities for the Programming Language Community Phil Miess2015-05-18 14:25
Forum topichow many lines of code can civilization support? Thomas Lord2015-04-09 22:07