Philippa Cowderoy

typetitleauthor sort iconlast post
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
Forum topicTurning every module into a functor automatically? Manuel J. Simoni2009-09-29 18:05
Forum topicruby vs python shahbaz2009-09-21 10:28
StoryRegular Expression Matching Can Be Simple And Fast Brent Fulgham2009-09-17 06:06
StoryThe Disciplined Disciple Compiler Daniel Yokomizo2009-07-27 23:26
Forum topicHuman Factors Research On Programming Language Syntax Peter J. Wasilko2009-07-20 12:13
Forum topicThe Church-Turing Thesis: Breaking the Myth naasking2009-07-18 00:45
Forum topicTotal functional language self interpreter? jason stumpf2009-06-27 13:57
Forum topicThe Meta-LtU Thread Leon P Smith2009-06-14 13:43
Forum topicthe Chinese natual language Zhu Chongkai2009-06-01 13:06
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23