recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Thoughts about the Best Introductory Language Just because it's old by Derek Elkins As I said... by kruhft Interesting you should mention by Fred LeMaster One size doesn't fit all by Dave Lopez C should precede assembly? by erik I really disagree with you. by Gavin Harrison Nuts and Bananas by jdh30 Yes by jdh30 Higher-order modules and first-class functions by jdh30 I don't know about you, but by Philippa Cowderoy ...	shlomif	2007-05-01 05:23
Forum topic	Type inference and union types Unions and type lattices by Thomas_C Yes by Matt Hellige You got it backwards, by neelk Has anyone come across by Matt Hellige Type invariants by Thomas_C Hacks, IMO by Andreas Rossberg Branching on Type? by Matt M What is a hack? by Sjoerd Visscher Does not mix with polymorphism ? by Thomas_C Does not mix with polymorphism by Andreas Rossberg ...	Thomas_C	2007-04-29 19:36
Forum topic	Stream Fusion SML translation by Vesa Karvonen Authors by Brandon Moore	Brandon Moore	2007-04-29 13:52
Forum topic	Google Tech Talk: Phil Gosset discusses parametric polymorphism and girard-reynolds isomorphism Regarding Phil's Comment at the End by Phil Gossett maybe an experiment by Rys McCusker I imagine it's reuse by Chris Rathman Regarding Phil's Comment at the End by Ohad Kammar Link by Anton van Straaten Wadler's blog by Andrei Formiga	Chris Perkins	2007-04-28 19:41
Forum topic	Asynchronous sequential processes/Theory of Distributed Objects? Fixed by Scott Johnson Link? by Achilleas Margaritis	Scott Johnson	2007-04-25 15:29
Forum topic	Why is there not a PL with a mathematical type system? Create it! by Jacques Carette But why is expression manipulation so effective? by Jacques Carette Telescopes by Jacques Carette Why analysis is hard (computationally) by Leland McInnes Cellular automata explicitly by Derek Elkins Quotient Types (again) by Derek Elkins Elaboration of why analysis is hard. by lucio But we don't need it by genneth True enough by Leland McInnes Calculus is the approximation, not vice versa by DavidA ...	gueven	2007-04-25 14:14
Story	Light Logics and Optimal Reduction Limited scope by Charles Stewart	Charles Stewart	2007-04-24 12:31
Forum topic	Actors vs. Reactive Objects Tripped me up too by Allan McInnes Thanks for the illustration. by Oliver Mooney In the context of CSP I've by Luke Gorrie Bounded Buffers by Peter A Jonsson Depends on what you mean by "Actors model" by Allan McInnes	Oliver Mooney	2007-04-23 15:20
Forum topic	Formalizing a minimal subset of concatenative languages Embedding another formalism by frederik	Daniel Ehrenberg	2007-04-23 13:55
Story	Modular Verification of Assembly Code with Stack-Based Control Abstractions Category by taral Very Interesting! by Paul Snively	cdiggins	2007-04-22 13:44
first page previous page next page last page