Home » user account

James Iry

typetitleauthorlast post sort icon
StoryJonathon Shapiro Wraps Up BitC James Iry2009-04-12 12:18
Forum topicInfluence of cognitive models on programming language design Srikumar Subramanian2009-03-26 21:04
StoryLanguages and security: a short reading list James Iry2009-03-22 17:02
StoryPinS and RWH are Jolt Finalists James Iry2009-03-12 03:13
StoryDenotational design with type class morphisms Matt Hellige2009-02-25 20:28
Forum topicMicrosoft PDC "Language" Talks shahbaz2009-02-12 12:16
Forum topicLooking for papers describing advanced language topics in terms of C programming derekp2009-02-12 06:39
Forum topicIntroducing Dawn - yet another new language Poul Krogh2009-02-06 09:07
Forum topicExplaining monads Ehud Lamm2009-01-30 11:43
Forum topicThe Origins of the BitC Programming Language Isaac Gouy2009-01-30 00:38
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