Home » user account

Daniel Yokomizo

typetitleauthorlast post sort icon
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 topicThe Next Mainstream Programming Languages Per Vognsen2008-09-23 10:16
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 topicMultiple Value Return - Common Lisp vs. Tuples and destructuring scottmcl2008-09-09 15:55
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
StoryPatrick Logan on Software Transaction Memory Ehud Lamm2008-08-13 17:20
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
Forum topicWhy type systems are interesting Anton van Straaten2008-07-07 14:16
StoryWhy Multi-Core is Easy and Internet is Hard Peter Van Roy2008-07-03 06:55
StoryScaling Type Inference Noel2008-07-02 02:56
StoryGetting Started Ehud Lamm2008-06-24 20:05
Forum topicWriting a new language - ideas? david yang2008-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