Philippa Cowderoy

typetitleauthorlast post sort icon
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
StoryLtU: Forum not blog Ehud Lamm2009-04-13 00:34
Forum topicInfluence of cognitive models on programming language design Srikumar Subramanian2009-03-26 21:04
StoryD is for Domain and Declarative Chung-chieh Shan2009-03-25 16:51
StoryParameterized Notions of Computation neelk2009-02-17 19:38
StoryLtU: blog not forum! Ehud Lamm2009-02-14 14:11
StoryPL Grand Challenges Ehud Lamm2009-02-10 16:09
Forum topicExplaining monads Ehud Lamm2009-01-30 11:43
StoryLightweight Static Capabilities Paul Snively2009-01-30 06:55
Forum topicNon-standard type theories for FP marco2009-01-25 03:59
Forum topicQuestion concerning parameterization over literals shap2009-01-23 19:27