Lambda the Ultimate

type	title	author	last post
Forum topic	Nesting of quasi-quotation Nesting of quasi-quotation in MetaOCaml by Oleg	Jules Jacobs	2013-05-08 03:50
Forum topic	GADT vs. Type Classes The typed evaluator example does not need GADT by Oleg	Greg Buchholz	2013-04-22 22:24
Story	Simple Generators v. Lazy Evaluation Iteratees can do zip, and even more by Oleg	Manuel J. Simoni	2013-02-26 12:23
Forum topic	Are nested SQL statements monads? CT monads have little to do with single-threadedness by Oleg	sciomako	2012-11-29 10:59
Story	Oleg: An argument against call/cc Benefits of Effect typing by Oleg Re: call/cc as an effect by Oleg Lazy evaluation and resource leaks by Oleg Resumable exceptions by Oleg	bashyal	2012-09-13 17:06
Forum topic	The Economist: Language and Computers: Why language isn't computer code No important theoretical difference by Oleg	kms	2012-08-11 20:37
Story	On Understanding Data Abstraction, Revisited ADT may be typed as existentials, but this isn't the only choice by Oleg	Z-Bo	2012-06-28 01:36
Forum topic	The Monad.Reader Typeclasses in ML by Oleg	Wouter Swierstra	2012-04-11 12:54
Forum topic	Embedding Prolog in Haskell In offense of cut by Oleg	Frank Atanassow	2012-02-13 17:04
Story	Extensible Programming with First-Class Cases answers to your questions by Oleg Expression problem solutions in Haskell by Oleg	naasking	2011-11-05 14:53
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
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