Daniel Yokomizo

typetitleauthorlast post sort icon
StoryGilad Is Right Erik Meijer2014-03-23 13:38
Forum topicProving the correctness of reactive systems using sized types Daniel Yokomizo2013-09-13 02:35
StoryMatching Objects With Patterns Matt Hellige2012-08-31 07:43
StoryKoka a function oriented language with effect inference Daniel Yokomizo2012-08-16 14:01
StoryThe Algebra of Data, and the Calculus of Mutation Manuel J. Simoni2012-02-15 00:19
StoryWhat needs to be done? Ehud Lamm2011-11-07 05:29
StoryGetting Started Ehud Lamm2011-03-16 17:43
StoryAlan Kay: The Early History of Smalltalk Luke Gorrie2011-03-16 15:16
Forum topicMultiple Value Return - Common Lisp vs. Tuples and destructuring scottmcl2011-01-15 09:49
StoryGuido: Language Design Is Not Just Solving Puzzles Ehud Lamm2011-01-05 17:06
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
Forum topicWhy type systems are interesting Anton van Straaten2010-03-08 19:47
Forum topicAlternatives to parentheses for grouping jason stumpf2010-02-10 13:28
Forum topicSystem programming using FP Todd Coram2010-02-02 02:56
Forum topicThe Next Mainstream Programming Languages Per Vognsen2010-01-24 13:32
Forum topicPost new comment vs. reply bdenckla2009-12-01 16:17
StoryPatrick Logan on Software Transaction Memory Ehud Lamm2009-10-26 21:48
Forum topicEffect Systems? jesuswaffle2009-10-10 01:11
StoryThe Disciplined Disciple Compiler Daniel Yokomizo2009-07-27 23:26
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
StoryHelp John Baez and Mike Stay! Matt Hellige2009-02-27 19:25
StoryLtU: blog not forum! Ehud Lamm2009-02-14 14:11
Forum topicExplaining monads Ehud Lamm2009-01-30 11:43
Forum topicCompilation/method resolution with structural subtyping scottmcl2009-01-20 19:33
Forum topicJob board on LtU? yminsky2009-01-10 03:47