Daniel Yokomizo

typetitleauthorlast post sort icon
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
StoryThe RiSE of Research in Software Engineering Daniel Yokomizo2008-12-03 14:54
Forum topicRemembering everything - a new(?) idea for a new PL pureza2008-12-02 17:19
Forum topicSecurity in FP Carter Cheng2008-11-22 21:19
Forum topicChoice of OS of LtU readers marco2008-10-21 11:00
StorySafe and Secure Software in Ada Ehud Lamm2008-09-26 19:38
Forum topicTyping a function which includes its axioms? Bryan Turner2008-09-17 22:35
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
StoryErasmus: A Modular Language for Concurrent Programming cdiggins2008-09-10 10:23
Forum topicOngoing work on Supercompilation of Java code (or supercompilation in general)? sanity2008-08-20 12:02