Home » user account

Paul Snively

typetitleauthorlast post sort icon
StoryVerified Programming in Guru James Iry2009-08-06 19:13
Forum topicAdvanced Types in Qi shahbaz2009-08-02 17:00
Forum topicSystem-level Static Analysis David Teller2009-07-25 00:53
StoryCforall Jim Apple2009-07-21 01:47
Forum topicProposing a LtU twitter (news) feed ... fbahr2009-07-20 21:36
StoryAnnouncing the new Haskell Prime process, and Haskell 2010 Ehud Lamm2009-07-13 20:40
StoryAchieving Security Despite Compromise Using Zero-Knowledge Paul Snively2009-06-19 10:19
Forum topicPreventing downcasting and adding a universal variant cdiggins2009-06-16 22:17
StoryClosures for C Charles Stewart2009-06-09 01:07
Forum topicScala Lift Off Unconference review raould2009-06-08 18:17
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