Home » user account

Daniel Yokomizo

typetitleauthorlast post sort icon
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
StoryProceedings of the 2008 LLVM Developers' Meeting Daniel Yokomizo2008-08-15 19:03
Forum topicA name for this form of variable capture? cjh2008-08-12 15:03
Forum topicFunctional Programming in the ACM CS Curriculum mwand2008-07-19 22:42
StoryWhy Multi-Core is Easy and Internet is Hard Peter Van Roy2008-07-03 06:55
StoryScaling Type Inference Noel2008-07-02 02:56
Forum topicWriting a new language - ideas? windozer2008-06-24 16:47
StoryPure imperative programming Charles Stewart2008-06-22 19:29
StoryComputation and the Periodic Table Daniel Yokomizo2008-06-21 16:16
Forum topicOn the importance of Turing completeness jdgallag2008-06-16 22:31
StoryTypes Considered Harmful Chris Rathman2008-06-06 17:06