Home » user account

Paul Snively

typetitleauthorlast post sort icon
Forum topicClosures for Java or money back el-vadimo2006-09-23 19:16
Forum topicPeakStream - a multi-core stream processing model Davor Cubranic2006-09-21 17:04
Forum topicAppleScript - a story worth telling Isaac Gouy2006-09-19 18:54
StorySecPAL: Design and Semantics of a Decentralized Authorization Language Ehud Lamm2006-09-17 03:54
Forum topicNeophyte question: detecting deadlock, livelock, races etc. raould2006-09-15 16:26
StoryGradual Typing for Functional Languages Paul Snively2006-09-04 13:48
Forum topicMulti-Stage Languages cdiggins2006-09-01 19:59
StoryConcoqtion: Mixing Indexed Types and Hindley-Milner Type Inference Paul Snively2006-08-30 17:55
Forum topicAdvantages of Soft Typing Curtis W2006-08-29 22:21
StoryThe Daikon Invariant Detector Paul Snively2006-08-28 02:55
Forum topicGoogle Web Toolkit Jess Austin2006-08-20 22:10
Forum topicautomatic theorem proving Curtis W2006-08-09 14:01
Forum topicOverloading : Why do some languages leave it out? cdiggins2006-08-08 21:28
StoryeWeek: Sun Digging Deep for Dynamic Language Support Ehud Lamm2006-08-05 07:02
StoryLtU turns six! Ehud Lamm2006-07-30 13:20
StoryRevealing the X/O impedance mismatch Ehud Lamm2006-07-22 23:15
StoryThe right default: concurrent components with message passing Peter Van Roy2006-07-22 16:37
StoryA Core Calculus for Scala Type Checking Niels Hoogeveen2006-07-22 15:59
Forum topicFirst Class Values, Types as values within a Programming Language Bruce Rennie2006-07-20 00:50
Forum topicOOP Parallel class hierarchies dataangel2006-07-18 19:50
Storycomputerhistory's History of LISP Rys McCusker2006-07-18 01:46
StoryZipper-based file server/OS shapr2006-07-13 10:13
StorySocially Responsive, Environmentally Friendly Logic Andris Birkmanis2006-07-13 09:06
Forum topicHow do Java generics correspond to System F-(omega)? Chung-chieh Shan2006-07-12 22:39
StoryAbstracting Allocation: The New new Thing Ehud Lamm2006-07-12 20:28