Home » user account

Paul Snively

typetitleauthorlast post sort icon
StoryParametric Higher-Order Abstract Syntax for Mechanized Semantics Paul Snively2008-06-22 20:50
StoryPure imperative programming Charles Stewart2008-06-22 19:29
StoryApplied Proof Theory: Proof Interpretations and their Use in Mathematics Ehud Lamm2008-06-19 18:43
Forum topicFirst class class objects, class vs. value namespaces, etc. scottmcl2008-06-12 20:11
Forum topicwhat a type system always proves vs. what it can be made to prove bdenckla2008-06-10 17:56
StoryTypes Considered Harmful Chris Rathman2008-06-06 17:06
StoryWill Wright Presents Spore... and a New Way to Think About Games Ehud Lamm2008-06-06 16:30
Forum topicCategory theory in design jdgallag2008-05-29 15:49
Forum topicUnderstanding category theory and its practical applications Winheim Raulsh2008-05-26 05:25
StoryLinear Logical Algorithms neelk2008-05-21 13:33
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