Home » user account

Paul Snively

typetitleauthorlast post sort icon
StoryGoing functional on exotic trades Ehud Lamm2009-06-02 23:41
Forum topicSocial science research about programming language adoption? Tim Chevalier2009-06-02 15:05
Forum topicTim Sweeney on Epic Games' History Paul Snively2009-05-27 07:14
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
StoryJoshua Bloch: "Nearly All Binary Searches Broken" Ehud Lamm2009-05-15 15:20
StoryLNGen Paul Snively2009-05-14 09:02
Forum topicStatic typing may require runtime type checking? sidhu2009-05-06 15:18
Forum topicThe deBrujin Criterion and the "LCF Approach". Jason Dusek2009-04-29 22:57
Forum topicWriting an interpreter, targeting a VM or writing from scratch? Johan Tibell2009-04-28 20:09
StoryA Generic Type-and-Effect System Paul Snively2009-04-17 17:39
StoryAMS: A Special Issue on Formal Proof Chris Rathman2009-04-02 07:49
StoryACM Queue: A Conversation with Alan Kay Ehud Lamm2009-03-24 18:50
StorySite problems Ehud Lamm2009-03-23 05:05
StoryEnsuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent Types Paul Snively2009-03-05 17:51
StoryDana Paul Snively2009-02-28 13:41
StoryDon Box: Teaching my kids to program Ehud Lamm2009-02-27 00:12
Forum topicExplaining monads Ehud Lamm2009-01-30 11:43
Forum topicThe Origins of the BitC Programming Language Isaac Gouy2009-01-30 00:38
Forum topicSpecifying semantics and type rules shap2009-01-23 13:25
Forum topicAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) scottmcl2009-01-11 22:50
Forum topicSpecifying Solver Behavior? shap2009-01-11 20:34
StoryStatistical programming with R Chris Rathman2009-01-07 17:16
Forum topicAutomatically Generating the Back End of a Compiler Using Declarative Machine Descriptions shahbaz2009-01-06 17:39
StoryType inference for correspondence types Paul Snively2008-12-09 18:46
StoryType-Checking Zero Knowledge Paul Snively2008-12-05 14:52