Lambda the Ultimate

type	title	author	last post
Story	Register Allocation by Proof Transformation Short answer: we don't know by neelk Comparison? by Mike Hearn Maybe the homepage provides by Ehud Lamm Previously on LtU by Derek Elkins	neelk	2008-04-20 21:52
Forum topic	Proving compositions X-machines by Hank Thediek Specification by Hank Thediek It's confusing because you by Derek Elkins It is a confusing question. by Hank Thediek certainty by Thomas Lord si. by Thomas Lord Anyway, you're wrong by Matt Hellige Interesting paper. by Hank Thediek Perlis' response by Anton van Straaten abstraction by Hank Thediek ...	Hank Thediek	2008-04-20 14:05
Forum topic	Type Directed Concurrency Type directed concurrency... by Denis Bredelet -jido Nothing by Felicia Li Svilling Minimal concurrency by Denis Bredelet -jido	Derek Elkins	2008-04-20 07:08
Forum topic	YAJVML: Qi4j I like the idea of by Denis Bredelet -jido	raould	2008-04-20 06:53
Forum topic	Newspeak, an experimental language in the style of Smalltalk Presentation about Newspeak by BigZaphod	Isaac Gouy	2008-04-19 21:46
Story	Mechanizing the Metatheory of LF just to clarify a bit more :) by Dan Licata Mea culpa by Charles Stewart just to clarify a bit by Dan Licata	Charles Stewart	2008-04-17 21:11
Forum topic	another issue/question/hope re: layout re: parent link by raould parent link by Anton van Straaten	raould	2008-04-17 17:11
Forum topic	Fan Programming Language Yes in newLISP you don't by Denis Bredelet -jido Not exactly by Charles Stewart If you are asking if by Denis Bredelet -jido Source by Charles Stewart I don't see what you're by naasking Whacky scoping? by Charles Stewart Looks like Fan does have by Denis Bredelet -jido Type prototypes for genericity by Denis Bredelet -jido	naasking	2008-04-16 22:07
Story	Algebra of programming using dependent types Refinement by Matthieu Sozeau Coq by taral	Matt Hellige	2008-04-16 07:27
Forum topic	Extended Deadline - ALTA 2008 CFP	jbfryman	2008-04-14 17:12
first page previous page 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