Matt M

typetitleauthor sort iconlast post
StoryProgramming Language Beauty: Look Closure Erik Meijer2008-09-10 04:01
Forum topicWhat makes backreferences impossible in a DFA regular expressions evaluator? Brandon Niemczyk2008-09-04 11:52
Forum topicTowards Hard Real-Time Erlang James Iry2008-08-28 17:28
Forum topicError Messages in Dynamically Typed Languages Jules Jacobs2008-08-21 06:14
Forum topicPatrick Logan on patterns Ehud Lamm2008-08-13 15:29
Forum topicA name for this form of variable capture? cjh2008-08-12 15:03
Forum topicUsefullness of constants K2008-08-12 06:01
StoryLightweight Monadic Regions Ehud Lamm2008-08-10 22:51
Forum topicA Question Concerning Effect Types shap2008-08-06 15:01
Forum topicSystems programming in languages other than C? Gregory Propf2008-08-05 19:58
Forum topicChuck - Concurrent audio programming language doublec2008-07-28 18:09
Forum topicType classes and type generator restrictions Douglas McClean2008-07-28 09:02
StoryScaling Type Inference Noel2008-07-02 02:56
Forum topicWriting a new language - ideas? windozer2008-06-24 16:47
Forum topicOn the importance of Turing completeness jdgallag2008-06-16 22:31
Forum topicDependent Types, Generic Programming and Overloading. Serguey Zefirov2008-05-23 00:35
StoryThe irreducible physicality of security properties Charles Stewart2008-05-18 14:42
Forum topicIs Halting Problem Valid for P? ajgargand2008-05-04 23:24
Forum topicStatic Analysis for Duck Typing grom3582008-05-03 22:13
Forum topicStatic Typing and Expressivity nobodysbusiness2008-05-02 15:58
Forum topicHigher-Order Programming without Closures? naasking2008-04-27 01:18
Forum topicApplications of formal semantics roberto2008-04-14 02:59
Forum topicGilad Bracha: Cutting out Static Matt Hellige2008-04-09 15:48
StoryApril 1st special: The War of the Worlds Ehud Lamm2008-04-06 15:50
Forum topicExtensible Pattern Matching via a Lightweight Language naasking2008-04-01 14:32