Paul Snively

typetitleauthorlast post sort icon
Forum topicChu Spaces Derek Elkins2006-02-17 02:31
Forum topicDebug-Edit-Compile cycle Kay Schluehr2006-02-16 14:56
StoryProgramming Languages: Application and Interpretation Ehud Lamm2006-02-15 20:58
Forum topicIs STL algorithms doing damage to the cause? Koray Can2006-02-13 15:17
Forum topicThe fate of reduce() in Python 3000 Andrei Formiga2006-02-12 19:27
Forum topicPackaging Data And Methods SamK2006-02-08 01:11
StoryConstraint-based type inference for guarded algebraic data types Paul Snively2006-02-07 15:19
StoryA constraint-based approach to guarded algebraic data types Paul Snively2006-02-07 15:18
Forum topicWeak vs. strong typing Joel Reymont2006-02-03 18:36
Forum topicEverything Your Professor Failed to Tell You About Functional Programming mvw2006-01-31 23:00
Forum topicA-Posteriori Subtyping: Which Languages? cdiggins2006-01-31 03:52
StoryContinuations library for Java Anton van Straaten2006-01-24 08:22
Forum topicSingleton classes really that bad? dataangel2006-01-16 19:14
Forum topicBruce Tate: Technologies that may challenge Java shahbaz2006-01-12 06:01
Forum topicStroustrup talking about C++0x Jillis ter Hove2006-01-06 15:25
StoryG-Men Called on W-Hats for WMVD Ehud Lamm2006-01-05 20:29
Forum topicDuck typing vs Structural Subtyping lmeyerov2006-01-04 06:49
StoryTop N Papers 2005 Matt Hellige2006-01-03 20:33
StoryModule Mania: A Type-Safe, Separately Compiled, Extensible Interpreter Paul Snively2005-12-07 14:58
StoryClassicJava in PLT Redex Paul Snively2005-12-07 14:51
Forum topicThe building of robust software mjstahl2005-12-02 19:17
StoryBattling Bugs: A Digital Quagmire Paul Snively2005-11-16 21:30
Forum topicCan one avoid monads? raould2005-11-10 20:18
Forum topicInvariants/Contracts vs. types dbfaken2005-11-08 22:31
StoryOOPSLA 2005 Reports Ehud Lamm2005-11-08 17:50