Chris Warburton

typetitleauthor sort iconlast post
Forum topicSyntax for reification of types cdiggins2014-03-04 19:20
Forum topicWolfram Language Sean McDirmid2014-02-26 09:48
Forum topicBooleans vs strings jamii2014-02-15 22:49
Forum topicMinimal implementation of state machines giuseppemag2014-02-01 05:12
Forum topicExamples for benefitfs of dynamic programming languages Sebastian Okon2014-01-30 21:54
Forum topicA glimpse into a new general purpose programming language under development at Microsoft Charles Torre2014-01-27 05:08
Forum topicPrint release of a textbook on the Coq proof assistant Adam Chlipala2014-01-15 13:50
Forum topicDifferent approaches to letting a programmer define interface implementations. Kannan Goundan2014-01-15 04:00
Forum topicPragmatic aspects of dimension types, and the problem of angles Douglas McClean2014-01-14 17:44
Forum topica little language for platform games Mike Robinson2014-01-06 19:10
Forum topicPractical rules for controlling program effects in an imperative / OOP environment. bryanedds2013-12-08 06:50
Forum topicactors conflate too much raould2013-11-16 01:13
Forum topicStatic typing and direct AST manipulation tkirchner2013-11-15 01:52
Forum topicPrototypal inheritance misunderstood SimonM2013-10-29 20:20
Forum topicTheory of a Declarative Language thomash2013-08-29 13:43
StoryThe Three Laws of Programming Language Design bashyal2013-07-04 14:32
Forum topicWhen will we all have effect systems? raould2013-07-01 20:38
Forum topicJanus: A Time-Reversible Language Sean McDirmid2013-05-25 11:38
Forum topicwhat's a useful definition of equivalent functions? Ray Dillinger2013-05-20 09:29
Forum topicUnordered pairs and their representation Douglas McClean2013-05-16 16:11
Forum topicWe're doing it wrong.... Ray Dillinger2013-05-15 19:34
Forum topicMutable Structures: Arrays hbrandl2013-05-08 10:44
Forum topicCall-by-reference decided by caller tkirchner2013-04-27 23:23
Forum topicTwenty Reasons Why You Should Use Boxer (Instead of LOGO) Sean McDirmid2013-04-01 20:31
Forum topicSyntax comparison for function call tkirchner2013-03-30 02:12