Home » user account

Paul Snively

typetitleauthorlast post sort icon
StoryNaked Objects Noel2007-06-12 23:46
Forum topicWhy people don't use functional programming? Gergely Buday2007-06-09 16:40
StoryLC for kids (alligators, oh my!) Ehud Lamm2007-06-01 22:08
Forum topicDoes these constructs solve the expression problem? Ahnfelt2007-05-25 22:51
Forum topicHow to make the static represent the dynamic? raould2007-05-23 02:19
Forum topicIs Integer wrapping an exceptional condition? mansu2007-05-21 23:34
Story"The language of the future is javascript" Charles Stewart2007-05-14 21:05
Forum topicchecking oo code against detailed specs Isaac Gouy2007-05-11 14:39
StoryThe Expression Problem Revisited Ehud Lamm2007-05-10 13:55
Forum topicArc in action (a.k.a. it's aliiiiive!) Anton van Straaten2007-05-08 01:43
Forum topicFunctional Object-Oriented Programming Jason Dusek2007-05-06 19:32
StoryTwitter and Rails brouhaha Ehud Lamm2007-05-04 04:34
Forum topicAlmost invisible upgrade Anton van Straaten2007-05-02 05:44
Forum topicThoughts about the Best Introductory Language shlomif2007-05-01 05:23
Forum topicWhy is there not a PL with a mathematical type system? gueven2007-04-25 14:14
StoryModular Verification of Assembly Code with Stack-Based Control Abstractions cdiggins2007-04-22 13:44
Forum topicExpect New Major Language Within Five Years Anton van Straaten2007-04-17 01:00
Forum topicDeliverable code? Hank Thediek2007-04-16 11:52
Forum topicEarly Programming Languages (A Logic Puzzle) Jim Apple2007-04-09 17:03
Forum topicDynamic Semantics Hank Thediek2007-04-07 22:57
Forum topicPutting functional database theory into practice: NixOS Gavin Mendel-Gleason2007-04-05 10:51
StoryVerifying Semantic Type Soundness of a Simple Compiler Paul Snively2007-04-05 01:39
StoryCroquet Project Releases Initial Developer Release Dominic Fox2007-03-29 20:02
StoryA Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language Paul Snively2007-03-28 14:31
StoryKourier is now live Luke Gorrie2007-03-26 22:36