Kevin Millikin

type sort icontitleauthorlast post
Forum topicWhat is a monad, why should I use it, and when is it appropriate? Jonathan Allen2006-02-03 10:54
Forum topicWhy type systems are interesting - part III: latent types Anton van Straaten2005-07-14 01:39
Forum topicWhy recursing is better than looping johnnyb2005-06-29 20:27
Forum topicStatic Types vs. Partially Evaluated Latent Types Greg Buchholz2005-06-24 16:10
StoryA Monadic Framework for Subcontinuations Andris Birkmanis2005-06-24 14:19
StoryHow to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible Ehud Lamm2005-04-03 13:54
StoryNormal-order direct-style beta-evaluator with syntax-rules, and the repeated applications of call/cc Ehud Lamm2005-01-23 00:21
StoryKiller Props for Computer Scientist! Noel2004-12-18 02:16
StoryMore from Udell on typing Ehud Lamm2004-09-20 22:50
Forum topicGrad School advice Patrick Schultz2004-08-23 20:26
Forum topicSome stupid questions on denotational semantics Klaus Ostermann2004-06-24 20:35