Lambda the Ultimate

type	title	author	last post
Forum topic	Genericity over tuples Typing polyvariadic functions, including zipNWith by Oleg	Alex Rubinsteyn	2008-09-23 15:55
Forum topic	Type classes and type generator restrictions Restricted data types by Oleg	Douglas McClean	2008-07-28 09:02
Forum topic	Breaking region nesting in type-and-effect systems? Statically safe resource deallocation by Oleg	naasking	2008-06-24 17:03
Forum topic	On the importance of Turing completeness More transformations in terms of folds by Oleg	jdgallag	2008-06-16 22:31
Forum topic	Programming (language) puzzles Solution to pruned tree outline by Oleg 15th last element by Oleg	Chung-chieh Shan	2008-05-17 14:25
Forum topic	Common Lisp Exception Handling Simple implementation of (typed) resumable exc by Oleg	SamK	2008-04-28 13:22
Story	April 1st special: The War of the Worlds Many drawbacks of monads and monad transformers by Oleg	Ehud Lamm	2008-04-06 15:50
Forum topic	The Monad.Reader Typeclasses in ML by Oleg	Wouter Swierstra	2008-03-20 01:02
Story	Pure, Declarative, and Constructive Arithmetic Relations How far along we can push the extensional approach by Oleg Stress on purity by Oleg	Ehud Lamm	2008-03-17 19:38
Story	Closing the Stage: From Staged Code to Typed Closures Typed compilation, proofs and staging by Oleg	Ehud Lamm	2007-12-28 05:21
Story	Tagless Staged Interpreters for Simpler Typed Languages Dynamic loading and staging by Oleg staging as dynamic linking by Oleg Tagless typed self-interpretation by Oleg The type of a parser? by Oleg The parsing/typechecking problem by Oleg	Ehud Lamm	2007-12-11 21:41
Story	The Haskell Programmer's Guide to the IO Monad --- Don't Panic Monads and free algebras by Oleg	Ehud Lamm	2007-11-22 21:30
Forum topic	Extending HM type inference -- would this be possible? Or even desirable? Statically assuring the absence of head [] errors by Oleg	Ingo Wechsung	2007-09-16 13:28
Forum topic	Yearning for a practical scheme Quoting in Lisp vs. (Meta)Ocaml by Oleg	Nathan Sobo	2007-08-27 03:37
Forum topic	CONTEXT07. Delimited contexts in OS	Oleg	2007-06-02 10:54
Story	Cforall open heterogeneous lists and downcasts in ML by Oleg	Jim Apple	2007-04-11 05:14
Forum topic	The Current Practical Limit of Static Typing Dynamic code, Arrays, bit twiddling by Oleg	Noel	2007-03-15 12:56
Story	Lightweight static resources Thank you for the comments by Oleg Replies by Oleg	Ehud Lamm	2007-03-15 07:27
Forum topic	Blending static and dynamic typing Re: imperfect blend by Oleg	dbfaken	2007-03-09 00:44
Story	Specifying ECMAScript via ML delimited continuations in OCaml by Oleg call/cc is problematic in OCaml! by Oleg	Dave Herman	2007-02-13 18:03
Story	Termination Checking with Types Formalizing OS in a strongly normalizing language by Oleg	neelk	2007-02-09 20:53
Forum topic	Continuations and freeing the stack Resumable exceptions are very easy by Oleg	Denis Bredelet -jido	2006-12-11 01:51
Forum topic	Why type systems are interesting - part II Re: Even number type by Oleg Double-colon barrier by Oleg	Ehud Lamm	2006-12-08 01:38
Forum topic	Understanding continuations What (call/cc call/cc) is and isn't by Oleg	Keith Devens	2006-12-06 23:43
Forum topic	Proofs that do things Haskell can do some of the proofs itself by Oleg	genneth	2006-11-28 11:36
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