recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Admin notes Given that this is LtU, by sciomako SPAM solutions by itkovian	Ehud Lamm	2009-02-15 22:26
Story	Parameterized Notions of Computation Depends on how you represent... by sigfpe Parametric polymorphism by Tom Duff I would think it would be by Derek Elkins Hey, that's pretty cool! by neelk How about discussing ... by Martin Berger sigfpe weighs in. by Tom Duff We'll add -Wmutation to GCC by Derek Elkins Warning flags by Philippa Cowderoy Re: Normalization by Leon P Smith Monads 2.0 by Leon P Smith ...	neelk	2009-02-17 19:38
Story	A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler From glancing at the paper by Watson Ladd Java-like language by Denis Bredelet -jido See also by shap	Allan McInnes	2009-02-16 15:44
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	Denotational design with type class morphisms Different biases by Conal Elliott clarification by Conal Elliott Wadler weighs in by James Iry Type classes as theories indeed by Derek Elkins Typeclasses as theories by Matt M Type classes don't have a denotation by Derek Elkins Manic Algebra Sets by Matt M Semantic Algebras by Derek Elkins I got a different sense by Matt M Algebraic Semantics by Derek Elkins ...	Matt Hellige	2009-02-25 20:28
Story	Equality Saturation: A New Approach to Optimization distributed, or quantum by raould Yay! Impressive. by Ray Dillinger by Serguey Zefirov Code for peggy / Pueblo by johnleuner Source code link by Serguey Zefirov LLVM by Srikumar Subramanian Nice! by Peter A Jonsson Not many loop optimizations yet by Jason Riedy Neutral GA by awwaiid	neelk	2012-11-28 20:26
Story	C++ Futures E's Promises (message passing alternative) by const Multiple assignment by Andreas Rossberg Unification by Chris Rathman Detour through Oz & CTM by Chris Rathman Promises by Andreas Rossberg What semantics are expected by naasking Weak Madness by ChrisKuklewicz Assignment by Andreas Rossberg Coming from E and Waterken, by naasking Not necessarily by Andreas Rossberg ...	Chris Rathman	2009-03-19 15:25
Story	Ensuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent Types The Importance... by Paul Snively Importance by Sam Tobin-Hochstadt	Paul Snively	2009-03-05 17:51
Story	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking	neelk	2009-03-06 16:33
Story	Linear Logic and Permutation Stacks--The Forth Shall Be First 11 efficiency by Thomas Lord Efficiency problem by Watson Ladd Stack-based by Nature by marco Forth CREATE DOES> by e Not much by marco Um by Luke Gorrie Hmm... by Leon P Smith linear, functional, stack ,object oriented by Thomas Lord Ah well by marco Not mutually exclusive by slava ...	Luke Gorrie	2009-03-14 06:49
first page previous page next page last page