Home » user account

Matt M

typetitleauthorlast post sort icon
StoryADD 50 TO COBOL GIVING COBOL James Iry2009-05-02 10:14
Forum topicLanguages ready for API Evolution Jaroslav Tulach2009-04-22 05:55
StoryA Computer-Generated Proof that P=NP Leon P Smith2009-04-20 19:18
Forum topiczip in the point free style Carter Cheng2009-04-14 01:58
Forum topicEliminating fuzziness of access modifiers Jaroslav Tulach2009-04-11 07:16
StoryClosing the Stage: From Staged Code to Typed Closures Ehud Lamm2009-03-30 23:29
Forum topicInfluence of cognitive models on programming language design Srikumar Subramanian2009-03-26 21:04
Forum topicTiered approaches to higher order programming? John Nowak2009-03-22 19:38
StoryLanguages and security: a short reading list James Iry2009-03-22 17:02
Forum topicUsing coalgebraic structures for traversing ADTs lazily marco2009-03-10 01:49
StoryProcess calculi for transactions Charles Stewart2009-03-06 09:15
Forum topicimplementing by-value reduction in lambda calculus jdgallag2009-03-02 18:56
StoryDenotational design with type class morphisms Matt Hellige2009-02-25 20:28
Forum topicDeclarative layout and/or UI languages? naasking2009-02-18 10:05
Forum topicOpen Recursion Leon P Smith2009-02-15 16:53
Forum topicWhat is the dual of { } ? Kay Schluehr2009-02-12 08:58
Forum topicOn the (Im)possibility of Obfuscating Programs Jason Dusek2009-02-11 04:08
StoryPL Grand Challenges Ehud Lamm2009-02-10 16:09
Forum topicIntroducing Dawn - yet another new language Poul Krogh2009-02-06 09:07
Forum topicRuling out nonsensical data type definitions Douglas McClean2009-02-03 22:54
Forum topicExplaining monads Ehud Lamm2009-01-30 11:43
Story2008 In Review - What Happened with Programming Languages? James Iry2009-01-28 12:15
Forum topicDetailed discussion forum and/or IRC channel? strog2009-01-28 05:29
Forum topicIntroducing Ambi David Pratten2009-01-27 02:42
Forum topicMacro systems cdiggins2009-01-22 17:50