Lambda the Ultimate

type	title	author	last post
Forum topic	Anything recent happening with multi-stage programming? Lots of happening with multi-stage programming by Oleg	David Teller	2018-03-08 16:18
Story	Do Be Do Be Do Session Types and Processes by Oleg	gasche	2017-01-12 18:51
Forum topic	Stack of regions for managing effects? Monadic Regions by Oleg	Aivar Annamaa	2016-06-11 15:11
Forum topic	Formalization and programming language design -- explained to all Unwarranted prescriptivism by Oleg	gasche	2016-04-01 05:40
Forum topic	Typed X (Racket, Clojure, Lua) just doesn't pan out? Type checking as ``abstract'' interpretation by Oleg	raould	2016-01-31 00:31
Forum topic	FLOPS 2016, promoting cross-fertilization across the whole declarative programming and theory and practice Call for participation and posters by Oleg Second CFP: invited talks by Oleg	Oleg	2016-01-14 13:01
Forum topic	Typed Data Typed shell has been successfully implemented, and then forgotte by Oleg	Andrew Moss	2015-12-31 08:59
Story	Programming with Algebraic Effects and Handlers Caution about conflating shift with yield by Oleg	Matt Hellige	2015-12-04 03:11
Forum topic	How Useful is Erlang Hot-Swapping of Code? OS and languages: more examples by Oleg	marco	2015-11-10 18:57
Story	BER MetaOCaml -- an OCaml dialect for multi-stage programming Native MetaOCaml by Oleg MetaOCaml to LLVM by Oleg	gasche	2015-06-24 08:53
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
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