Lambda the Ultimate

type	title	author	last post
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
Forum topic	obj vs. ml vs. coq (fight?) codyroux is right... by Paul Snively	raould	2010-10-05 14:48
Forum topic	Deprecating the Observer Pattern scala.react Status? by Paul Snively	Alex Cruise	2010-09-28 03:56
Forum topic	Computational equivalent of incompleteness theorems? I was also thinking... by Paul Snively	naasking	2010-09-21 06:55
Forum topic	principle of least authority and programming languages Information Flow by Paul Snively	joshbronson	2010-09-17 20:33
Forum topic	Unifying Actors and Objects? Scope of Critique by Paul Snively Actors and Active Objects by Paul Snively	Shrutarshi Basu	2010-09-15 01:04
Forum topic	What are the properties of "Functional Programming Languages"? Working From Simplicity by Paul Snively	kaveh.shahbazian	2010-09-13 17:38
Story	Type Classes as Objects and Implicits Lightweight Multi-Stage Programming by Paul Snively Hmmm... by Paul Snively BER-MetaOCaml by Paul Snively	Paul Snively	2010-08-26 06:09
Story	It's been ten years! Let's hope... by Paul Snively Lambda the Ultimate... by Paul Snively	Ehud Lamm	2010-08-11 08:07
Forum topic	Incompleteness Theorems: The Logical Necessity of Inconsistency Reset by Paul Snively	Hewitt	2010-08-10 14:23
Forum topic	The Rust Language Ur/Web by Paul Snively	Noel	2010-07-27 23: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