Lambda the Ultimate

type	title	author	last post
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) complex termination arguments by Carl Witty Reasoning about types... by Carl Witty dependent type system mandatory? by Carl Witty Non-terminating compilers are not new... by Carl Witty	Greg Buchholz	2010-10-22 21:48
Forum topic	A lambda calculus with arbitrary set primitives David McAllester's Ontic by Carl Witty	Neil Toronto	2010-07-01 12:56
Forum topic	more power and less verbiage Ursala has interesting data types by Carl Witty	el-vadimo	2010-01-11 21:02
Story	Regular Expression Matching Can Be Simple And Fast Thanks! by Carl Witty Ignoring loops by Carl Witty Biased regex matching by Carl Witty	Brent Fulgham	2009-09-17 06:06
Story	Intel Ct: C for Throughput Computing nice... but is it vaporware? by Carl Witty	Kay Schluehr	2009-05-22 21:07
Forum topic	Tagged Arithmetic Optimization optimizing right-shift/divide by Carl Witty pointer-tagging with non-0 bits by Carl Witty	naasking	2009-02-04 22:32
Forum topic	Dodo Ambiguous grammars by Carl Witty	Denis Bredelet -jido	2008-07-20 16:36
Story	Functional Netlists "hardware description" versus "hardware synthesis" by Carl Witty	neelk	2008-07-10 10:40
Forum topic	On the importance of Turing completeness well, not quite... by Carl Witty random algorithms, iterate-until-done algorithms by Carl Witty	jdgallag	2008-06-16 22:31
Story	Mechanizing Language Definitions this is the POPLmark Challenge by Carl Witty	Ehud Lamm	2008-04-11 13:18
Story	Samurai - Protecting Critical Data in Unsafe Languages formal methods at Intel by Carl Witty	Ehud Lamm	2007-11-27 16:54
Forum topic	Programming Language Names Googling punctuation by Carl Witty	Jeffery Walker	2005-11-10 08:23
Forum topic	The English-Likeness Monster parsing arithmetic by Carl Witty	ade_oshineye	2005-10-04 23:04
Forum topic	Modern Language Features of Visual C++ 2005 Haskell has context-sensitive keywords by Carl Witty	Chris	2005-05-18 15:22
Story	Wheat - A Language for Web Sites Zope by Carl Witty	andrew cooke	2005-03-28 05:07
Forum topic	The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software General-purpose computation on GPU's by Carl Witty	ade_oshineye	2005-02-15 21:26
Story	Skribe 1.2b released check out TeXmacs by Carl Witty	Dave Herman	2004-11-22 02:51
next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation