Home » user account

Daniel Yokomizo

typetitleauthorlast post sort icon
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
StoryComputational Thinking Daniel Yokomizo2008-06-02 23:50
Forum topicContinuation based I/O with referential trasparency (Hope+) ? raould2008-06-02 20:28
Forum topicMetadebugging (i.e. founding metabugs) methodology. Basile STARYNKEVITCH2008-06-02 18:53
Forum topicSoftware complexity as means of professional advancement Denis Bredelet -jido2008-05-30 21:24
Forum topicfuture history of logic programming el-vadimo2008-05-08 11:59
Forum topicStatic Analysis for Duck Typing grom3582008-05-03 22:13
Forum topicProving compositions Hank Thediek2008-04-20 14:05
Forum topicGilad Bracha: Cutting out Static Matt Hellige2008-04-09 15:48
StorySoftware Craftsmanship: Apprentice to Journeyman Daniel Yokomizo2008-04-07 08:43
StoryApril 1st special: The War of the Worlds Ehud Lamm2008-04-06 15:50