Lambda the Ultimate

type	title	author	last post
Forum topic	Genericity over tuples Typing polyvariadic functions, including zipNWith by Oleg	Alex Rubinsteyn	2010-02-03 21:04
Forum topic	What is a Type? Semantic and syntactic notions of type by Oleg	andrew johnson	2009-10-28 20:53
Forum topic	Swarm now based on Scala 2.8, uses delimited continuations Code migration with delimited continuations by Oleg	sanity	2009-10-02 18:59
Forum topic	Programming (language) puzzles Solution to pruned tree outline by Oleg 15th last element by Oleg	Chung-chieh Shan	2009-10-02 17:42
Story	Cforall open heterogeneous lists and downcasts in ML by Oleg	Jim Apple	2009-07-21 01:47
Forum topic	Total functional language self interpreter? No Total functional language self interpreter by Oleg	jason stumpf	2009-06-27 13:57
Forum topic	Bridging the informal and the formal Embedded probabilistic functional programming by Oleg	Neil Toronto	2009-06-12 21:09
Forum topic	Andrej Bauer on PLD Conditional type-checking by Oleg	Charles Stewart	2009-04-27 07:54
Story	Closing the Stage: From Staged Code to Typed Closures IncopeTypecheck.hs: building witnesses with weakening by Oleg Typed compilation, proofs and staging by Oleg	Ehud Lamm	2009-03-30 23:29
Story	D is for Domain and Declarative Embedding DSL efficiently by Oleg	Chung-chieh Shan	2009-03-25 16:51
Forum topic	Are you using delimited continuations? Zipper and XML differencing by Oleg	tmoertel	2009-01-03 20:56
Story	Staging with Delimited Control We do solve the documented problem by Oleg	Ehud Lamm	2008-12-07 20:00
Forum topic	A tutorial on implemeting type inference? A less canonical tutorial on (polymorphic) type inference by Oleg	ellisk	2008-11-16 18:43
Forum topic	Common Lisp Exception Handling Simple implementation of (typed) resumable exc by Oleg	SamK	2008-10-20 00: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
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
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	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
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
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