recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Kleisli Arrows of Outrageous Fortune Hoare Logic and Monads by pigworker Swierstra's Hoare State Monad? by vrijz The corresponding video by heisenbug Thanks! by Paul Snively Conor McBride is known for by S. Clover For posterity... by barrkel	Paul Snively	2011-05-19 09:24
Story	Scala Days at EPFL, Lausanne, Switzerland	Paul Snively	2010-01-24 19:23
Forum topic	Tim Sweeney on Epic Games' History There is a whole interview by Sean McDirmid Questions & answers on by Jules Jacobs	Paul Snively	2009-05-27 07:14
Story	Lightweight Monadic Programming in ML Thanks by Matt M Eff EDSL in Haskell by Sjoerd Visscher Differences by Matt M Monads and Lawvere Theories by Ohad Kammar Eff by Ohad Kammar A minimally category-theoretic intro to algebraic effects... by neelk Quite similar by Matt M Reminds me of Eff by Ohad Kammar Composing effects by Leon P Smith first class signals by dmbarbour ...	Paul Snively	2011-08-10 20:39
Story	Type inference for correspondence types	Paul Snively	2008-12-09 18:46
Story	Dana Definitely, I'm working on a by Sean McDirmid please keep us informed by raould Ah, that makes more sense. by lmeyerov Need to find time to update by Sean McDirmid 2. I'm not sure I understand by Sean McDirmid 1. The implementation of the by lmeyerov Perhaps Conal's new paper on by Sean McDirmid Dirty bits are really dirty by dbuenzli What is FRP, etc. by Paul Snively Nice by Chris King ...	Paul Snively	2009-02-28 13:41
Story	A Verified Compiler for an Impure Functional Language	Paul Snively	2010-01-09 17:03
Story	A Lambda Calculus for Real Analysis has a wide range of by Ehud Lamm I should've called it a "spirited debate" by Tim May Ouch by Paul Snively His book, "Practicical Foundations of Mathematics" by Tim May It's a way of thinking by andrejbauer Interesting Work by Marc Hamann Neat. by dmbarbour	Paul Snively	2010-02-18 00:25
Story	A Generic Type-and-Effect System	Paul Snively	2009-04-17 17:39
Story	Parametric Higher-Order Abstract Syntax for Mechanized Semantics	Paul Snively	2008-06-22 20:50
first page previous page next page last page