Rich Dougherty | Lambda the Ultimate

Rich Dougherty

view
track

type	title	author	last post
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Links? by Rich Dougherty	Ehud Lamm	2013-07-28 20:42
Forum topic	Google's Dart announced Probably not by Rich Dougherty	vieiro	2012-12-30 17:29
Forum topic	Go or Unladen Swallow? Language Design FAQ by Rich Dougherty	Srikumar Subramanian	2011-02-07 08:56
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Working link by Rich Dougherty	Greg Buchholz	2010-10-22 21:48
Story	Certified Programming With Dependent Types Goes Beta Pierce's Software Foundations course by Rich Dougherty	Paul Snively	2010-01-16 00:10
Story	Verified Just-In-Time Compiler on x86 Self-modifying code by Rich Dougherty	Dave Herman	2010-01-13 02:02
Story	Building a Modern Computer From First Principles It is intended to complement other courses by Rich Dougherty	Ehud Lamm	2009-03-30 07:07
Story	From shift and reset to polarized linear logic Link changed by Rich Dougherty	Andris Birkmanis	2009-03-10 08:47
Forum topic	A tutorial on implemeting type inference? Good tutorial by Rich Dougherty	ellisk	2008-11-16 18:43
Story	Happy Birthday, dear Lambda! Thanks by Rich Dougherty	Ehud Lamm	2008-08-08 14:50
Story	RPC Under Fire Different... by Rich Dougherty RPC vs Object/XML-mapping problems by Rich Dougherty	Ehud Lamm	2005-09-23 16:58
Forum topic	Syntax Design Comparison resource by Rich Dougherty	C G	2005-08-19 14:11
Forum topic	Memory fault and segmentation faults Definitions by Rich Dougherty	pakumar21	2005-08-04 21:46
Forum topic	Embedded Languages in Java Illustration by Rich Dougherty	andrew cooke	2005-07-12 16:24
Forum topic	data locality and data structures Assumed knowledge by Rich Dougherty	shahbaz	2005-06-14 17:22
Forum topic	What will Apple's move to Intel mean for Alternative Language Communities? Languages playing nice by Rich Dougherty GNUStep by Rich Dougherty	Peter J. Wasilko	2005-06-10 21:13
Story	jhc I love this comment by Rich Dougherty	Ehud Lamm	2005-04-20 18:14
next page last page