Charles Stewart

typetitleauthorlast post sort icon
Forum topicTeaching challenge: culturally enriching formulae-as-types Charles Stewart2012-02-18 22:10
Forum topicEmbedding Prolog in Haskell Frank Atanassow2012-02-13 17:04
StoryVellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations Paul Snively2012-02-09 18:04
Forum topicSmall is Beautiful: the design of Lua bashyal2012-02-07 14:33
StoryBeyond pure Prolog: Power and danger Charles Stewart2012-01-23 10:54
Forum topicWhat is this type of type called? Steven StewartGallus2011-12-17 03:35
Forum topicProofs of a type system's safety? Steven StewartGallus2011-12-07 13:24
StoryLTL types FRP Charles Stewart2011-11-26 23:39
Forum topicmath proofs are more robust than computer proofs raould2011-11-18 20:27
StoryWhat needs to be done? Ehud Lamm2011-11-07 05:29
StoryThe Trouble with Erlang Charles Stewart2011-10-14 03:57
StoryWhy Object-Oriented Languages Need Tail Calls Leon P Smith2011-10-01 21:58
Forum topicWhat Does Functional Programming Mean? Denis Bredelet -jido2011-09-26 00:17
StoryThe SAFE Platform Charles Stewart2011-09-20 05:23
Forum topicquite "old" books discussion Sebastian2011-09-01 12:10
Forum topicLiterate Programming: Retrospect and Prospects el-vadimo2011-07-20 21:10
Forum topicWhy Programming Languages? Andy Wingo2011-07-03 04:39
Forum topicThe Value Of Syntax? Ray Dillinger2011-06-28 20:45
Forum topicMiddle History of Logic Programming Hewitt2011-06-28 02:49
Forum topicYet another programming language with customizable syntax Lavir the Whiolet2011-06-24 09:03
Forum topicCatamorphisms and anamorphisms = general or primitive recursion? Blaisorblade2011-06-20 22:37
StoryPCF and LCF Charles Stewart2011-06-09 21:20
Forum topicArtificial Grammar Reveals Inborn Language Sense Rehno Lindeque2011-05-19 09:35
Forum topicAre You Using the Right Axiomatic System? Charles Stewart2011-05-13 13:50
Forum topicGenerative Grammar-based Computation dmbarbour2011-05-08 06:50