Home » user account

Charles Stewart

typetitleauthorlast post sort icon
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
StoryFunction Interface Models for Hardware Compilation Matt Hellige2009-08-22 21:39
Forum topicfunctions vs procedures.. ceti3312009-08-20 18:05
Forum topicsomething strange happened after implementing a first interpreter Peter Michaux2009-08-19 18:18
Forum topicResolved Debates in Syntax Design ? gasche2009-08-13 00:06
Forum topicDefinition of Functional Programming Language vag2009-08-07 22:39
Forum topicMunkres' Topology Charles Stewart2009-08-03 23:18
Forum topic(Very) Simpleminded kind question jimdesu2009-07-26 14:11
Forum topicQ tutorial Albert Graef2009-07-24 12:00
Forum topicLambda Cube and programming languages Gregory Propf2009-07-23 21:27
StoryNatural Deduction Reading for Beginners cdiggins2009-07-22 15:29