Ian Johnson

typetitleauthorlast post sort icon
Forum topicA Functional Representation of Data Structures with a Hole (1998) Vladimir Slepnev2017-12-01 12:08
Forum topicGPU for GC raould2014-08-06 03:12
Forum topicrequest for namespace binding service terminology Rys McCusker2014-07-21 19:12
Forum topicLess is more. Rys McCusker2014-01-19 13:05
Forum topicWhy is Static Typing Hard? Jon Purdy2013-11-12 18:56
Forum topicFixpoint theory, induction and recursion hbrandl2013-03-08 04:14
Forum topicEighth draft of Scheme R7RS-small published johnwcowan2012-12-22 02:39
Forum topicThe programming language of crash test dummies. Ray Dillinger2012-10-05 17:18
StoryOleg: An argument against call/cc bashyal2012-09-13 17:06
Forum topicLanguage Implementation 101 qznc2012-08-09 07:37
Forum topicLanguages with 'unique' programs dataangel2012-06-04 11:11
StoryMilawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic Paul Snively2012-02-29 19:59
Forum topicCan I express variable occurence ranges in logic? j4n bur532011-10-19 10:10