Paul Snively

typetitle sort iconauthorlast post
StoryLightweight Static Capabilities Paul Snively2021-12-02 13:45
Forum topicJohn Shutt, creator of Kernel and an LtU regular, dies at 56 jdougan2021-10-14 09:16
Forum topicAre Monads a Waste of Time? Keean Schupke2018-03-16 00:59
Forum topicProgramming by poking: why MIT stopped teaching SICP Sean McDirmid2018-01-26 06:42
StoryECMAScript Edition 4 Reference Implementation Dave Herman2017-08-05 19:34
Forum topicAbstractionless programming Wouter2017-06-10 16:36
Forum topicLiving it up with a Live Programming Language Sean McDirmid2017-06-10 16:27
Forum topicConversion of 'functional' to 'imperative' algorithms: is it possible? Achilleas Margaritis2017-03-31 19:14
Forum topicjsMath support? neelk2016-12-29 16:05
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topic"Inconsistency Robustness" now available Hewitt2015-08-17 21:21
StoryRunning Probabilistic Programs Backwards gasche2015-08-05 10:38
StorySelf-Representation in Girard’s System U naasking2015-06-18 22:53
Forum topicgeneral patterns in PL persistence schemes? Rys McCusker2015-02-24 02:23
Forum topicHow can languages help us in terms of achieving correct program design? bryanedds2015-02-02 17:56
StoryMorrow & First-class Labels Frank Atanassow2014-12-28 20:26
Forum topicConcatenative Language Kont Chris2014-10-22 09:15
Forum topicJonathan Blow's next foray into game language design jdougan2014-10-21 20:35
StoryOpen thread: RIP Steve Jobs Ehud Lamm2014-10-05 00:19
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
StoryDeca, an LtU-friendly bare metal systems programming language Anton van Straaten2014-04-23 16:10
StoryGilad Is Right Erik Meijer2014-03-23 13:38
StoryHistory of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Ehud Lamm2013-07-28 20:42
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
Storythe gnu extension language Manuel J. Simoni2013-06-28 14:23