Home » user account

Paul Snively

typetitleauthorlast post sort icon
StoryThe irreducible physicality of security properties Charles Stewart2008-05-18 14:42
StoryLogical Algorithms neelk2008-05-15 22:53
Forum topicfuture history of logic programming el-vadimo2008-05-08 11:59
StorynewLisp: A better Lisp/Scheme Fusion... Brent Fulgham2008-05-06 16:24
Forum topicLisp Lovers, how would you fix Lisp or bring it up to date? Ben Atkin2008-04-29 03:20
StoryGrady Booch: Software Engineering Grand Challenges Ehud Lamm2008-04-27 18:35
Forum topicOn Presenting Operational Semantics cdiggins2008-04-25 21:57
Forum topicM.Sc thesis ideas on the intersection: Artificial intelligence, Category theory, and Programming languages. Gal Amram2008-04-24 00:38
Forum topicApplications of formal semantics roberto2008-04-14 02:59
Forum topicAlgebraist Network billpage2008-03-31 12:21
StoryArc is released Ehud Lamm2008-03-21 12:07
Forum topicConfused Deputies in Programming Languages naasking2008-03-18 02:47
StoryPure, Declarative, and Constructive Arithmetic Relations Ehud Lamm2008-03-17 19:38
StoryOberon Script. A Lightweight Compiler and Runtime System for the Web Ehud Lamm2008-03-15 02:35
Forum topicNon-null references? Mike Hearn2008-03-14 21:05
Forum topicA modular toolchain for parsing and compiling code? Thomas Danecker2008-02-26 10:38
Forum topicProcess Algebras: Whats the point? markt2008-02-25 06:41
Forum topicUniform naming George Morrison2008-02-20 22:21
Forum topicLatest usability for polymorphism? raould2008-02-12 15:34
Forum topicLanugages with built-in rules/tests? raould2008-02-11 17:01
Forum topicSignals in an OOPL cdiggins2008-02-08 16:07
StoryThe Design and Implementation of Typed Scheme Ehud Lamm2008-02-08 03:56
Forum topicHow useful is reflection, anyway? Scott Johnson2008-01-31 18:41
Forum topicVM's... What's the best? diegoeche2008-01-30 11:52
StoryOpen Multi-Methods for C++ Ehud Lamm2008-01-24 17:49