Philippa Cowderoy

typetitleauthorlast post sort icon
Forum topicA Brief History of Scala Isaac Gouy2011-01-17 05:41
StoryGood Ideas, Through the Looking Glass Ehud Lamm2011-01-15 17:04
StoryGuido: Language Design Is Not Just Solving Puzzles Ehud Lamm2011-01-05 17:06
StoryPico Lisp: A Case for Minimalist Interpreters? James Hague2010-12-19 01:55
StoryIf Programming Languages were <T> Chris Rathman2010-11-30 14:05
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
Forum topicWhat are the properties of "Functional Programming Languages"? kaveh.shahbazian2010-09-13 17:38
Forum topicThe Rust Language Noel2010-07-27 23:17
Forum topicSEC interested in formalising contracts ... in Python Noel2010-05-06 12:56
Forum topicTyped Lambda Calculus marcosag2010-05-05 21:11
StoryThe Monad Zipper Philippa Cowderoy2010-05-05 15:27
StoryLtU turns 7: The year of spam Ehud Lamm2010-04-29 05:51
Forum topicStatic Typing Where Possible, Dynamic Typing When Needed Isaac Gouy2010-04-20 22:32
StoryTagless Staged Interpreters for Simpler Typed Languages Ehud Lamm2010-04-06 00:28
Forum topicWhy type systems are interesting Anton van Straaten2010-03-08 19:47
Forum topicSystem programming using FP Todd Coram2010-02-02 02:56
Forum topicOperator precedence andrewzboard2010-01-27 16:21
Forum topicThe Next Mainstream Programming Languages Per Vognsen2010-01-24 13:32
Forum topicParser that allow syntax extensions serras2010-01-24 03:08
Forum topicNaive Question? Definition of "Higher Order" scottmcl2009-12-16 11:56
StoryJohn Hughes on Erlang and Haskell James Iry2009-12-02 10:16
StoryMinimal FORTH compiler and tutorial Ehud Lamm2009-11-03 02:39
StoryPatrick Logan on Software Transaction Memory Ehud Lamm2009-10-26 21:48
StoryA Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions cdiggins2009-10-23 11:46