Lambda the Ultimate

type	title	author	last post
Story	Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations No Worries by Paul Snively Done by Paul Snively Oops by Paul Snively UPenn by Paul Snively	Paul Snively	2012-02-09 18:04
Story	Diagram showing all programming paradigms and their relationships Good additions! by Paul Snively My list by Paul Snively Yep by Paul Snively Distinction: with a difference or not? by Paul Snively Interesting point... by Paul Snively I'm still confused... by Paul Snively To answer questions with questions... by Paul Snively	Peter Van Roy	2012-01-13 17:06
Forum topic	Go's proposed panic/recover exception-like mechanism Yikes by Paul Snively FWIW... by Paul Snively	pgregory	2012-01-07 01:57
Story	A Language-Based Approach to Unifying Events and Threads +1 naasking by Paul Snively	shapr	2011-11-21 12:53
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman Machine Learning by Paul Snively Solomonoff Induction... by Paul Snively Thank You by Paul Snively Yes by Paul Snively More later... by Paul Snively It's controversial... by Paul Snively Where... by Paul Snively	puredanger	2011-11-19 23:37
Story	The Experimental Effectiveness of Mathematical Proof Related Work by Paul Snively Both by Paul Snively Mysticism by Paul Snively Agreed by Paul Snively Briefly and partially by Paul Snively Hard is different from impossible by Paul Snively	Paul Snively	2011-11-12 12:16
Forum topic	Redesigning the Mozart virtual machine VMKit by Paul Snively	Peter Van Roy	2011-10-04 22:20
Story	The SAFE Platform FPCC by Paul Snively	Charles Stewart	2011-09-20 05:23
Forum topic	An Accidental Simula User, Luca Cardelli Good point by Paul Snively Very Good by Paul Snively	Isaac Gouy	2011-09-15 12:44
Story	Haskell for C Programmers Not Winnable by Paul Snively	Mark Evans	2011-09-12 18:37
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
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