Philippa Cowderoy

type sort icontitleauthorlast post
Forum topicSeeking thoughtful criticisms of functional programming and languages scottmcl2013-03-31 00:40
StoryThe YNot Project Paul Snively2012-08-17 23:32
Forum topicOpen data types and open functions Jeremy2012-06-22 02:53
Forum topicThe Monad.Reader Wouter Swierstra2012-04-11 12:54
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02
StoryDiagram showing all programming paradigms and their relationships Peter Van Roy2012-01-13 17:06
StoryA Language-Based Approach to Unifying Events and Threads shapr2011-11-21 12:53
StoryDennis Ritchie passed away Ehud Lamm2011-10-29 02:45
Forum topicAn Accidental Simula User, Luca Cardelli Isaac Gouy2011-09-15 12:44
StoryHaskell for C Programmers Mark Evans2011-09-12 18:37
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