Lambda the Ultimate

type	title	author	last post
Forum topic	Strongtalk goes open source invokedynamic was discuss by Ehud Lamm Gilad is humorous by raould Of related interest. by Ehud Lamm	grant	2006-09-13 21:13
Forum topic	Back button & scroll position Check extensions for clues by hobwebs You could use Opera to avoid by Felicia Li Svilling Ain't browser UIs wonderful? by Anton van Straaten Workaround by Jeff Nowakowski Forced Reloads by Andreas Wuest	raould	2006-09-11 14:46
Story	Misc News Thanks for the heads up by Dave Lopez Not worth it by Brian T Rice Specifics? by Per Vognsen Python compiler rewrite in C# by Dave Lopez Slate by Dave Lopez After Sun lets go the Self team by Brian T Rice Bottom-up or Top-down? by Hank Thediek	Ehud Lamm	2006-09-10 21:02
Story	Folds, Church Encodings, Builds, and Short Cut Fusion for Nested Types: A Principled Approach	Jim Apple	2006-09-09 12:37
Forum topic	linux vs windows which is more compatible [Admin ] by Ehud Lamm	rajasekhar	2006-09-09 10:47
Forum topic	Rewriting Haskell Strings	Per Vognsen	2006-09-09 09:45
Forum topic	OOPSLA 2006 Call for Participation	w7cook	2006-09-08 18:56
Forum topic	Small Value Set Types Thanks by Per Vognsen Corrections by Andreas Rossberg Yes, type-checking in a by Philippa Cowderoy Decidability by Per Vognsen But what about recursive algorithms? by Achilleas Margaritis Yes... by genneth Can finite set types be used for static contract verification? by Achilleas Margaritis The link was broken but I by cdiggins Finite set types by Tim Sweeney	cdiggins	2006-09-06 02:05
Story	Lightweight Static Capabilitites (II) Syntactic approach to type soundness, in Twelf by Oleg	Ehud Lamm	2006-09-05 01:52
Story	Gradual Typing for Functional Languages Yep! by Paul Snively more concoqtion!? by pantagruel redefining type safety by lexspoon Walid rocks by mgricken The subtyping algorithm is pluggable by Kenneth Knowles And if the type computations terminate? by Jeremy Siek So the declarative specification is missing? by Jeremy Siek Development doubtful by Kenneth Knowles Type checking is still undecidable by Kenneth Knowles Sage and catching errors statically by Jeremy Siek ...	Paul Snively	2006-09-04 13:48
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