Lambda the Ultimate

type	title	author	last post
Forum topic	How to classify type of ML's exn ? (Naive question) Open unions and exceptions are profoundly related by Oleg	scottmcl	2011-09-19 08:06
Story	Lightweight Monadic Programming in ML Monad transformers: complexities and limitations by Oleg	Paul Snively	2011-08-10 20:39
Story	Delimited dynamic binding Presentation and formalization by Oleg Ref. transparency, delim. cont., capabilities by Oleg Code is available by Oleg	Chung-chieh Shan	2011-08-03 11:51
Forum topic	Implementor's guide/tutorial to delimited continuations? Which operator to implement by Oleg Limited expressivity and composability of undelimited continuati by Oleg Do not implement undelimited continuations by Oleg Several implementors guides by Oleg	Manuel J. Simoni	2011-08-02 18:56
Forum topic	In search of inspiration Supercompilation by Oleg	Tim van Deurzen	2011-05-16 12:17
Forum topic	The AST Typing Problem Maps and generic programming as solutions by Oleg	shap	2011-01-19 03:15
Story	Type Classes as Objects and Implicits Meta-programming at ICFP 2010 by Oleg Today, optimizing for 1 platform is not a goal by Oleg The extent of meta-problems by Oleg Meta-programming is inevitable by Oleg	Paul Snively	2010-08-26 06:09
Forum topic	Overlapping Instances + Functional Dependencies Unsound? Overlapping Instances + FD in GHC are still sound by Oleg	shap	2010-08-08 15:11
Forum topic	Linear & Dependent types of ATS applied to the Cairo graphics library Safe resource handling is already possible in Haskell by Oleg	raould	2010-05-04 07:37
Story	Tagless Staged Interpreters for Simpler Typed Languages Simplified tagless-final type-checker by Oleg 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	2010-04-06 00:28
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
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