James Iry

typetitleauthorlast post sort icon
Forum topicFirst-Class Patterns naasking2024-06-14 09:03
Forum topicRepresenting Type Information in Dynamically Typed Languages Ray Dillinger2018-04-06 21:50
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
StoryFacebook releases "Flow", a statically typed JavaScript variant James Iry2014-12-03 08:59
Forum topicLanguages without operator precedence Douglas McClean2014-09-10 20:40
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
StoryWhat Are The Resolved Debates in General Purpose Language Design? James Iry2014-03-31 20:55
StoryWhy Concatenative Programming Matters James Iry2013-09-09 19:40
Forum topicBeyond FRP: physics-inspired programming abstractions? Sean McDirmid2013-08-22 19:13
StoryObservational Equality, Now! James Iry2013-05-16 02:24
Forum topicA Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" w7cook2013-01-08 20:02
Forum topicIn defense of semicolon Sean McDirmid2012-10-08 22:32
Forum topicThe programming language of crash test dummies. Ray Dillinger2012-10-05 17:18
Forum topicProposed extension to C - array size declarations John Nagle2012-09-30 04:27
Forum topicDesigning a languge — what theory is a must? pgregory2012-09-28 19:01
Forum topicAlien worlds, values, and you can't touch this Sean McDirmid2012-09-11 13:15
StoryParsing: The Solved Problem That Isn't James Iry2012-08-26 09:11
Forum topicWhy prolog is by far the best, most productive, easiest programming language marshallp2012-08-23 03:24
StoryThe YNot Project Paul Snively2012-08-17 23:32
Forum topic10 Years of Purely Functional Data Structures Chris Okasaki2012-08-04 01:52
Forum topicCan javascript concurrency be expressed as a monad? mmaroti2012-08-02 08:31
Forum topicWhy are exceptions not described as 'purely functional'? bryanedds2012-07-11 15:05
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2012-06-30 00:11
Forum topicNull, bottom, etc.? oconnor02012-06-25 23:41
Forum topicQuantitative comparison of unit testing vs. static typing? lmeyerov2012-06-22 02:59