Home » user account

James Iry

typetitleauthorlast post sort icon
Story2008 In Review - What Happened with Programming Languages? James Iry2009-01-28 12:15
Forum topicNon-standard type theories for FP marco2009-01-25 03:59
Forum topicWeird computability problem relating to state + lambda calculus ellisk2009-01-17 14:17
Forum topicFundamental Flaws in Current Programming Language Type Systems Bruce Rennie2009-01-16 16:42
Story On the Strength of Proof-Irrelevant Type Theories James Iry2009-01-16 12:10
StoryR in the New York Times James Iry2009-01-13 20:33
Forum topicAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) scottmcl2009-01-11 22:50
Forum topic"Determinism" of types? ellisk2009-01-06 17:36
Forum topicJMatch (abstract iterable pattern matching for Java) and the Polyglot Compiler Framework namin2009-01-06 04:54
StoryProgrammable Concurrency in a Pure and Lazy Language James Iry2008-12-31 23:41
StoryPrediction for 2008 Ehud Lamm2008-12-29 15:56
Forum topicPrinciples or patterns in FP vijaykandy2008-12-24 18:31
Forum topicShoot-out: most annoying compiler error message marco2008-12-21 21:45
StoryQi II James Iry2008-12-18 01:21
StoryFunctional building blocks as concurrency patterns Peter Van Roy2008-12-05 15:58
Forum topicIrresistible programs Ehud Lamm2008-12-03 21:21
StoryClojure: Trampoline for mutual recursion Chris Rathman2008-11-30 02:33
Forum topicSubtyping + overloading Alex Rubinsteyn2008-11-24 20:24
Forum topicObject Oriented Programming + Referential Transparency mjstahl2008-10-30 17:40
Forum topicOn the (perceived) equivalence of static and dynamically typed reflective programming languages Ran2008-10-28 23:49
StoryGeneralized Algebraic Data Types and Object-Oriented Programming Ehud Lamm2008-10-24 22:08
Forum topicClojure talk videos claudio2008-10-09 15:57
Forum topicReia: Python/Ruby style language on top of Erlang David N. Welton2008-10-06 11:51
Forum topicIs API evolution of exceptions special? Jaroslav Tulach2008-10-02 16:17
StorySimon Peyton Jones Interview Chris Rathman2008-10-01 19:42