recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	A Typed Intermediate Language for Compiling Multiple Inheritance Clarifications by Anton van Straaten Inheritance actually comes in two flavors by Chris Rathman I still don't get your first by renox Separate language design from implementation, too. by Anton van Straaten Mixins, traits, etc. by Andris Birkmanis Bah, having only interface ma by renox Depends how it's implemented by Anton van Straaten Multiple inheritance isn't bad by Jeff Cutsinger	Ehud Lamm	2005-08-01 04:12
Story	A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions It exists by Charles Stewart A LtU-wiki is high on our by Ehud Lamm a glossary for new comers by ertri I don't mind the by Philippa Cowderoy Adequate modesty by Marc Hamann Expected outcome by Marc Hamann HOAS in haskell by Jacques Le Normand This is a great thread by cdiggins Adequacy is a very modest by neelk Fear of the dark by Bob Atkey ...	cdiggins	2009-10-23 11:46
Story	A type-correct, stack-safe, provably correct, expression compiler in Epigram Modular Development of Certified Program Verifiers by Brandon Moore "incremental type inference and separate compilation" by raould Supercombinators by Edwin Brady I would think that seperate by carter Why separate compilation? by michael-fig actually, i think theres a by carter Specifics by Paul Snively I should point out that the by carter Right On! by Paul Snively ooops, I was imprecise in by carter ...	Niels Hoogeveen	2006-10-02 18:13
Story	A Type System Equivalent to Flow Analysis A calculus with polymorphic and polyvariant flow types by Andris Birkmanis OTOH, the equivalence paper I by Derek Elkins FC sees them as orthogonal not as equivalent by Andris Birkmanis Flow Caml by Daniel Yokomizo	Andris Birkmanis	2005-02-08 18:22
Story	A Type Discipline for Authorization Policies This Reminds Me of... by Paul Snively	Ehud Lamm	2005-09-23 21:52
Story	A type discipline for authorization policies	Ehud Lamm	2005-05-10 19:54
Forum topic	A tutorial on implemeting type inference? Luca Cardelli by jwillia3 Check the Nice Language Type Inference out by mbeckerle Good tutorial by Rich Dougherty Practical Type Inference by ccasin Typing Haskell in Haskell by renaud The Book: Types and by Sean Gillespie not overwhelmingly complicated by e Hmm. Let's give it a try. by shap A less canonical tutorial on (polymorphic) type inference by Oleg A link to PLAI can be found by Ehud Lamm ...	ellisk	2008-11-16 18:43
Story	A tutorial on graph transformation In vino veritas. by Frank Atanassow Simple? by Charles A Stewart Left adjoints preserve colimits; right adjoints, limits. by Frank Atanassow	Charles A Stewart	2004-09-23 18:18
Story	A Topos Foundation for Theories of Physics This is spam by Sjoerd Visscher Please continue by Jacques Carette 2-categories and catastrophe theory by Frank Atanassow Agreed by Matt Hellige Not that far ? by renaud A long way from home by Ehud Lamm Logics of Worlds by Dominic Fox	Matt Hellige	2007-07-27 11:42
Story	A Tiny Computer What I had in mind is things by Ehud Lamm That was my initial thought by kragen Interesting Architecture by Watson Ladd STEPS by Charles Stewart B5000 posted by Luke Gorrie Possibly simpler non-tricky architectures by dhess Petzold's CODE is also fantastic by shahbaz I've been really enjoying by Luke Gorrie A somewhat related book. by Ehud Lamm MIPS by brucehoult ...	Luke Gorrie	2009-06-06 05:39
first page previous page next page last page