Greg Buchholz

typetitle sort iconauthorlast post
Forum topicOpen data types and open functions Jeremy2012-06-22 02:53
StoryA Concept Design for C++ James Iry2012-03-04 21:35
Forum topicClojurescript Greg Buchholz2011-08-05 13:03
Forum topicProgramming with touch? Sean McDirmid2011-04-13 23:03
StoryGetting Started Ehud Lamm2011-03-16 17:43
Forum topicJ language source to be released under GPLv3 Greg Buchholz2011-03-07 03:43
Forum topicI've run out of programming languages to study Josh Griggs2011-02-27 03:20
StoryConservative Logic James Iry2010-11-16 01:17
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
Forum topicWhat is the best system for experimenting with and visualizing complex algorithms? Peter Van Roy2010-10-01 04:20
StoryIt's been ten years! Ehud Lamm2010-08-11 08:07
Forum topicLogic programming based GUI framework Tegiri Nenashi2010-07-30 22:01
Forum topicInspiring Papers SamK2010-05-24 15:10
Forum topicStatic Typing Where Possible, Dynamic Typing When Needed Isaac Gouy2010-04-20 22:32
Forum topicWhy type systems are interesting Anton van Straaten2010-03-08 19:47
StoryThe Role of Composition in Computer Programming James Hague2010-02-19 01:25
Forum topicThe Next Mainstream Programming Languages Per Vognsen2010-01-24 13:32
StoryJohn Hughes on Erlang and Haskell James Iry2009-12-02 10:16
Forum topicHaskell Type Constraints Unleashed Greg Buchholz2009-11-11 14:40
Forum topicThe Meta-LtU Thread Leon P Smith2009-06-14 13:43
Forum topicMonadic Constraint Programming Greg Buchholz2009-06-04 03:15
Forum topicIntentional tool released raould2009-05-07 19:31
Forum topicAlgebra Of Programming (Bird, De Moor) shahbaz2009-04-27 20:22
Forum topicCoherent Reaction Greg Buchholz2009-04-26 08:07
StoryACM Queue: A Conversation with Alan Kay Ehud Lamm2009-03-24 18:50