recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Call for Participation: Programming Languages Mentoring Workshop	Ehud Lamm	2013-11-22 09:36
Story	Backpack: Retrofitting Haskell with a Module System, at last	gasche	2014-01-05 16:59
Story	Oral History of Adele Goldberg myth busting by Thomas Lord A wonderful interview. by Cyril	bashyal	2014-01-08 19:33
Story	Multiple Dispatch as Dispatch on Tuples MultiJava by Gary T. Leavens	naasking	2014-01-09 20:41
Story	The marriage of bisimulations and Kripke logical relations The paper is very by Hank Thediek This is a pretty dense paper... by neelk	Charles Stewart	2014-02-01 12:46
Story	Jeeves References by gasche Any specific references I by Ehud Lamm Differential privacy by Sam Tobin-Hochstadt I think is possible to do by Ehud Lamm Information flow and differential privacy by jeanyang I should have said something by Ehud Lamm Jeeves, AOP, and Privacy Enforcement by jeanyang	Ehud Lamm	2014-03-02 16:02
Story	Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading Computation these days means concurrent computation by Hewitt Yes, that post is a nice by dmbarbour Nondeterministic state machines cannot implement concurrency by Hewitt Informally, concurrent by dmbarbour How can (concurrent) computation be rigorously defined? by Hewitt Erlang/OTP is inadequate with respect to hardware failures by Hewitt But the actor model. by dmbarbour I would think you & possibly by J Muhammad Houshyar Which of the principles of Actors are satisfied by Erlang/OTP? by Hewitt That wasn't the question by J Muhammad Houshyar ...	Allan McInnes	2014-03-05 19:33
Story	Wirth Symposium The most stable resolution by dmbarbour Interesting. by John Shutt Concrete Languages by dmbarbour With lower barriers, more users become producers by Dave They just got bought for by Sean McDirmid Cost and price are not dual by dmbarbour re: cost/price by Thomas Lord re: For tooling by Thomas Lord Cost is not Price by dmbarbour For tooling, you are only by Sean McDirmid ...	Luke Gorrie	2014-03-04 20:32
Story	Propositions as Types It's not really untyped. by Keean Schupke isomorphism by Keean Schupke Yes, when someone says by Matt M typed calculus = (untyped calculus, logic) by Dave Dependent types more expressive by Keean Schupke Predicate logic vs. propositional logic by Matt M Type theory extends logic? by Keean Schupke First- and Second- order polymorphism by gasche Computational Trinitarianism by Keean Schupke Hmmm by Matt M ...	Manuel J. Simoni	2014-03-19 07:14
Story	The Essence of Reynolds	bashyal	2014-03-11 14:47
first page previous page next page last page