Lambda the Ultimate

type	title	author	last post
Forum topic	Why do we need modules at all? Local instances: challenges and very old solutions by Oleg	Sean McDirmid	2014-12-06 15:20
Story	John C Reynolds Doctoral Dissertation Award nominations for 2014 Conferences in Asia by Oleg	Ehud Lamm	2014-12-01 08:41
Forum topic	doing letrec with lambdas Polyvariadic fixpoint combinator by Oleg	jimdesu	2014-09-29 19:46
Forum topic	Re-thinking Prolog Good illustration of the main points by Oleg	Alex1	2014-09-24 11:21
Forum topic	The broad ML Family workshop Program with abstracts by Oleg	Oleg	2014-07-31 10:07
Forum topic	Aha moment Generators in Icon and CLU, and codata by Oleg	Ehud Lamm	2014-04-29 06:07
Forum topic	Different approaches to letting a programmer define interface implementations. Corrected HTML formatting by Oleg Type class basics and implementation by Oleg	Kannan Goundan	2014-01-15 04:00
Story	The Genuine Sieve of Eratosthenes A minimalist Eratosthenes Sieve by Oleg	Ehud Lamm	2013-10-26 21:32
Story	Copatterns: the final approach to codata? Copatterns: not the final approach to codata by Oleg	gasche	2013-10-11 22:36
Forum topic	Terra: A low-level counterpart to Lua Better BLAS through meta-programming by Oleg	Denis Washington	2013-05-21 19:10
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
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