Andris Birkmanis

typetitleauthor sort iconlast post
StoryFunctional Pearl: Species and Functors and Types, Oh My! Matt Hellige2010-07-05 09:38
Forum topicWhy type systems are interesting Anton van Straaten2010-03-08 19:47
StorySuper and Inner — Together at Last! Andris Birkmanis2010-02-13 00:09
Forum topicSystem programming using FP Todd Coram2010-02-02 02:56
Forum topicThe Next Mainstream Programming Languages Per Vognsen2010-01-24 13:32
Forum topicSwarm now based on Scala 2.8, uses delimited continuations sanity2009-10-02 18:59
Forum topicLEGO Turing Machine Leo Horovitz2009-09-13 15:37
StoryPerl Cannot Be Parsed: A Formal Proof Andris Birkmanis2009-09-10 17:08
Forum topicAdvanced Types in Qi shahbaz2009-08-02 17:00
Forum topicHuman Factors Research On Programming Language Syntax Peter J. Wasilko2009-07-20 12:13
Forum topicThe Church-Turing Thesis: Breaking the Myth naasking2009-07-18 00:45
Forum topicTotal functional language self interpreter? jason stumpf2009-06-27 13:57
Forum topicStupid Question. Matt Estes2009-06-26 20:47
StoryCode Reading Ehud Lamm2009-06-04 14:52
Forum topicthe Chinese natual language Zhu Chongkai2009-06-01 13:06
StoryJoshua Bloch: "Nearly All Binary Searches Broken" Ehud Lamm2009-05-15 15:20
Forum topicmuSE - an embeddable scheme dialect Srikumar Subramanian2009-04-28 20:55
Forum topicAlgebra Of Programming (Bird, De Moor) shahbaz2009-04-27 20:22
StoryACM Queue: A Conversation with Alan Kay Ehud Lamm2009-03-24 18:50
StoryCombining computational effects Andris Birkmanis2009-03-13 14:27
StoryFrom shift and reset to polarized linear logic Andris Birkmanis2009-03-10 08:47
StoryDesign Concepts in Programming Languages Andris Birkmanis2009-02-03 21:52
Forum topicShoot-out: most annoying compiler error message marco2008-12-21 21:45
Forum topicyet another oop formalization: class as abstract automata A. G. Piskunov2008-11-25 20:27
Forum topicQ: Modularizing SQL? sciomako2008-11-15 13:40