Lambda the Ultimate

type	title	author	last post
Forum topic	Delimited Continuations Blues? The key question by Paul Snively See Also... by Paul Snively	Manuel J. Simoni	2011-08-22 15:00
Story	Lightweight Monadic Programming in ML Thanks! by Paul Snively	Paul Snively	2011-08-10 20:39
Forum topic	Is it possible to write code that works the very first time? True... by Paul Snively From Proof to Program by Paul Snively TCB by Paul Snively Psychology vs. Math :-) by Paul Snively Circles by Paul Snively OK by Paul Snively OK by Paul Snively FWIW by Paul Snively Through the Curry-Howard Lens by Paul Snively Reflection by Paul Snively ...	M Riccobene	2011-08-10 11:43
Story	Delimited dynamic binding Um... by Paul Snively	Chung-chieh Shan	2011-08-03 11:51
Forum topic	Implementor's guide/tutorial to delimited continuations? Fun With Cactus Stacks by Paul Snively The Four Faces of Delimited Continuations by Paul Snively Continuation Stuff for Schemers by Paul Snively	Manuel J. Simoni	2011-08-02 18:56
Story	Levy: a Toy Call-by-Push-Value Language Intriguing by Paul Snively	Ohad Kammar	2011-07-28 18:12
Forum topic	The Last Language? MASM? by Paul Snively	Dominic Fox	2011-07-20 14:51
Story	Rob Pike: Public Static Void History by Paul Snively	Ehud Lamm	2011-07-10 18:36
Forum topic	Strange Loop 2011 - Languages galore Earlier Than That by Paul Snively	puredanger	2011-06-29 00:10
Forum topic	Middle History of Logic Programming Hansei by Paul Snively	Hewitt	2011-06-28 02:49
Story	Kleisli Arrows of Outrageous Fortune Thanks! by Paul Snively	Paul Snively	2011-05-19 09:24
Story	Getting Started "Keep It Real?" by Paul Snively Meandering by Paul Snively PL Design Launching-Off Points by Paul Snively	Ehud Lamm	2011-03-16 17:43
Forum topic	Go or Unladen Swallow? Tight Coupling by Paul Snively "Systems Programs" and BitC by Paul Snively	Srikumar Subramanian	2011-02-07 08:56
Forum topic	A Brief History of Scala Fair Points by Paul Snively Agreed! by Paul Snively Quite Right by Paul Snively FP, Objects, and the Expression Problem by Paul Snively Technology or Culture? by Paul Snively	Isaac Gouy	2011-01-17 05:41
Story	Good Ideas, Through the Looking Glass Formalization in Coq of the JavaCard Virtual Machine by Paul Snively Truthiness by Paul Snively Particularly... by Paul Snively The Context That Comes to My Mind... by Paul Snively I Continue to Lament... by Paul Snively	Ehud Lamm	2011-01-15 17:04
Story	Guido: Language Design Is Not Just Solving Puzzles O'Caml and Tuareg Mode by Paul Snively	Ehud Lamm	2011-01-05 17:06
Story	program verification: the very idea Brief, woefully inadequate response by Paul Snively Clarification? by Paul Snively Agreed by Paul Snively It might not be what you meant... by Paul Snively Points of Agreement by Paul Snively Let me be the first... by Paul Snively Indeed by Paul Snively TCB by Paul Snively Intel by Paul Snively Exactly! by Paul Snively ...	el-vadimo	2010-12-17 18:21
Story	The Fortress Language Spec v0.618 What's So Special About Streams of Characters? by Paul Snively	Dave Herman	2010-12-13 04:24
Forum topic	Clojure's Solutions to the Expression Problem Theory vs. Practice by Paul Snively I might be missing something... by Paul Snively Here we go again! by Paul Snively	fogus	2010-11-27 07:21
Forum topic	First-class environments. Discuss. ;) Touchy Subject by Paul Snively Seconded by Paul Snively	Manuel J. Simoni	2010-11-18 13:31
Forum topic	expressivity of "idiomatic C++" I Was Just Going to Observe... by Paul Snively Templates to the Rescue, Indeed by Paul Snively No, But... by Paul Snively Known Knowns :-) by Paul Snively Close Enough for Government Work by Paul Snively What Style Would That Be? by Paul Snively Default Assumptions by Paul Snively Agreed by Paul Snively	el-vadimo	2010-11-10 22:56
Story	Machine Obstructed Proof True by Paul Snively Difficult by Paul Snively Far From Minding... by Paul Snively Secondary Reaction by Paul Snively	Tommy McGuire	2010-11-08 18:57
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Proof-Carrying Code by Paul Snively	Greg Buchholz	2010-10-22 21:48
Forum topic	Perlis Languages Careful Design by Paul Snively	Robb Nebbe	2010-10-14 16:16
Story	First-class modules: hidden power and tantalizing promises Mirage by Paul Snively	Manuel J. Simoni	2010-10-10 17: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