recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Constraint-Based Type Inference for Guarded Algebraic Data Types	Ehud Lamm	2004-06-21 11:36
Story	A Tutorial on Proof Theoretic Foundations of Logic Programming It sure looked familar... by Ehud Lamm Old links by Charles A Stewart	Ehud Lamm	2005-03-21 08:30
Forum topic	Algorithmically Unbounded Journal of Mathematical Truths Just thinking out loud by Chris Rathman RDRR by Dominic Fox	Philip Dorrell	2004-10-25 18:56
Story	Behaviour: Using CSS selectors to apply Javascript functionality High-brow? by Ehud Lamm The Shame I Bear by Noel I blogged about this a bit be by Ehud Lamm :-) by Ehud Lamm sure by Dave Herman Trade CPU cycles for brain cycles by l m orchard no Tk in Firefox by l m orchard One problem with the more dec by l m orchard Fuss by Ehud Lamm Tk by Neil M ...	Ehud Lamm	2005-07-05 05:58
Story	Build your own scripting language for Java Um.... by cmcknight Another article by Chris Rathman What apps use it by Anton van Straaten Old fallacy by Dave Griffith RE: What apps use it, though? by bedwards What apps use it, though? by David N. Welton What it does by Anton van Straaten What does this actually do? by Twan van Laarhoven And all languages ultimately evolve into by cmcknight until by rmalafaia ...	Chris Rathman	2006-05-03 01:12
Forum topic	Colorful dominoes game hides an exercise in propositional logic Wang Tiles is topology by jasha123 Not similar by Charles Stewart Wang Tiles? by Tom Duff	jasha123	2010-01-08 10:29
Forum topic	Compiler Technology for Scalable Architectures GCC 4 by Nuno Cruces Automatic vectorization by Per Vognsen Nope by Niki Estner Yep by Michael Walter SIMD capabale compilers? by Niki Estner don't know if this is where by andrew cooke	OwcA	2006-03-02 01:52
Forum topic	FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software [Admin] by Ehud Lamm commercial Lisp software by imac	drcode	2008-01-07 07:08
Forum topic	FringeDC Informal Meeting Saturday Nov 10	drcode	2007-11-06 14:17
Story	Howard on Curry-Howard I just skimmed so far, but by Ehud Lamm	bashyal	2014-08-31 08:03
next page last page