Home » user account

Charles Stewart

typetitleauthorlast post sort icon
Forum topic Colorful dominoes game hides an exercise in propositional logic jasha1232010-01-08 10:29
StoryNo more tail calls in Javascript? Noel2009-12-23 08:32
StoryAn Innocent Model of Linear Logic Anton van Straaten2009-12-19 09:26
Forum topicNaive Question? Definition of "Higher Order" scottmcl2009-12-16 11:56
Forum topicTop rated programming conferences? Tegiri Nenashi2009-12-04 21:48
StoryJohn Hughes on Erlang and Haskell James Iry2009-12-02 10:16
StoryBytecodes meet Combinators: invokedynamic on the JVM Matt Hellige2009-12-01 11:38
StoryScratch: Programming for All Allan McInnes2009-11-29 19:03
StoryScheme to be split into two languages Manuel J. Simoni2009-11-26 16:54
Forum topicThe Memory Pool System: Thirty person-years of memory management development goes Open Source tonyg2009-11-18 22:12
StoryLiskov's list of papers Ehud Lamm2009-11-11 21:33
Forum topicHaskell Type Constraints Unleashed Greg Buchholz2009-11-11 14:40
StoryRetrospective: An Axiomatic Basis for Computer Programming naasking2009-10-28 08:24
StoryDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson Z-Bo2009-10-26 23:13
StoryHave your AHOS and eat HOAS too! Charles Stewart2009-10-23 16:33
StoryA Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions cdiggins2009-10-23 11:46
Forum topicmeta-Scheme? raould2009-10-19 22:47
Forum topicCourse in mathematical logic with applications to computer science L Spice2009-10-19 07:01
Forum topicStandard, simple subset of Scheme for experimentation? dpmulligan2009-10-15 12:18
Forum topicHaskell in the real world: writing a commercial program in Haskell dpmulligan2009-10-10 01:00
Forum topicWhy Pseudo-Code? Kay Schluehr2009-10-05 18:49
Forum topicTurning every module into a functor automatically? Manuel J. Simoni2009-09-29 18:05
StoryPeter Landin neelk2009-09-25 08:11
StoryExpressive Modes and Species of Language Charles Stewart2009-08-25 15:11
StoryThe linear bestiary of François Pottier Charles Stewart2009-08-24 23:09