Home » user account

Daniel Yokomizo

typetitleauthorlast post sort icon
StoryTheorem proving support in programming language semantics Paul Snively2008-01-13 07:36
StoryCall-by-value Termination in the Untyped Lambda-calculus Daniel Yokomizo2008-01-08 23:22
Forum topic"Recent Post" funkiness Dave Lopez2007-09-24 20:12
StoryOOP Is Much Better in Theory Than in Practice Ehud Lamm2007-06-18 22:39
StoryNaked Objects Noel2007-06-12 23:46
Forum topicTotal Functional Programming Greg Buchholz2007-05-27 20:18
StoryLisp is sin Ehud Lamm2007-05-19 19:51
StoryGenerics as a Library Matt Hellige2007-05-09 00:11
Forum topicWhy do we need finally in try? Tom Primožič2007-03-15 16:08
Forum topicBehaviour Diffing Holgly Morgan2007-03-04 17:44
StoryProgramming Shorthands James Hague2007-02-10 00:09
StoryTermination Checking with Types neelk2007-02-09 20:53
Forum topicCompile time garbage collection vintermann2007-02-08 12:17
StoryNinety-nine Lisp Problems Ehud Lamm2007-01-24 18:03
Forum topicOO Language Engineering for the Post-Java Era Isaac Gouy2007-01-18 17:55
StoryWhy numbering should start at 0 Luke Gorrie2007-01-10 17:16
StoryMore Haskell in Java 7 or 8? Ehud Lamm2007-01-06 16:45
Forum topicCommercial Users of Functional Programming 2006 Isaac Gouy2006-12-29 14:46
StoryThe Future of LtU Ehud Lamm2006-12-26 02:37
StoryComparing Approaches to Generic Programming in Haskell Andris Birkmanis2006-12-23 16:27
Forum topicTransparent Persistence playergiro2006-12-20 17:31
StoryJava Open Review Project Ehud Lamm2006-12-16 11:29
Forum topicAbstractly typed languages Matthew Willson2006-12-15 04:58
Forum topicunchecked exceptions are like runtime type checking? lumpynose2006-12-13 09:40
Forum topicWhy type systems are interesting - part II Ehud Lamm2006-12-08 01:38