Andris Birkmanis

typetitleauthorlast post sort icon
StoryPhysics, Topology, Logic and Computation: A Rosetta Stone Andris Birkmanis2014-06-25 18:14
StoryGilad Is Right Erik Meijer2014-03-23 13:38
Forum topicHigher order versus Object order Francis McCabe2012-05-17 17:45
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02
StoryDiagram showing all programming paradigms and their relationships Peter Van Roy2012-01-13 17:06
StoryHaskell for C Programmers Mark Evans2011-09-12 18:37
StoryRetrospective: The Essence of Compiling with Continuations Ehud Lamm2011-07-11 18:08
Forum topicMulti-Return Function Call Matthew Morgan2011-04-14 05:45
StoryGetting Started Ehud Lamm2011-03-16 17:43
StoryScala Team Wins ERC Grant Ehud Lamm2011-01-18 05:47
StoryThe Fortress Language Spec v0.618 Dave Herman2010-12-13 04:24
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
Forum topicLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language Peter Michaux2010-10-28 11:03
StoryWhy Undergraduates Should Learn the Principles of Programming Languages Z-Bo2010-07-15 09:08
Forum topicSeeking nearly anything re: so called language "bootstrapping" process scottmcl2010-07-10 22:04
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