recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Of Generics and Erasure and, of all things, GC and memory layout Previously on LtU by James Iry Java Precisely by Dave Herman A Practical Analysis by ricky_clarkson	scottmcl	2008-07-08 21:30
Forum topic	Update to "Parametric Higher-Order Abstract Syntax for Mechanized Semantics" New Lambda Tamer Release by Paul Snively	Paul Snively	2008-07-08 20:53
Story	Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA In some respects hardware is by lennart Parallel vs concurrent by Luke Gorrie Of course by lennart The authors have made the by Jeff Newbern OpenCores cheatsheet by Luke Gorrie MEMOCODE 2008 Entry by Jeff Newbern	Luke Gorrie	2008-07-08 10:33
Story	Lispâ€™s 50th Birthday Celebration	Ehud Lamm	2008-07-05 07:36
Forum topic	PyPy's prolog-based JIT prototype	fijal	2008-07-03 23:18
Forum topic	Request for participation Happy vacation by Chris Rathman You are right. The goal is by Ehud Lamm Would it skew the results.... by Chris Rathman Cambridge Mathematics Laboratory by Charles Stewart Conceding by Ehud Lamm Major players? by Ehud Lamm OCaml, Erland and Haskell are "industrial", and where is Algol? by znmeb Forth, APL by znmeb Deleted by Ehud Lamm Disappointed by Ehud Lamm ...	Ehud Lamm	2008-07-03 22:11
Story	Why Multi-Core is Easy and Internet is Hard New versions of CTM by Peter Van Roy A FRP variable seems like a by lmeyerov Warmup by Luke Gorrie No closures by Andreas Rossberg Did you program your by naasking A variable in Flapjax is a by naasking It would be cool if.... by Scott Johnson Yes by Derek Elkins Where would it be held? by Sean McDirmid Kinds of dataflow by Peter Van Roy ...	Peter Van Roy	2008-07-03 06:55
Story	Scaling Type Inference Second-order polymorphism by james woodyatt No puzzle by Anton van Straaten Benefit by Vesa Karvonen Re: Types in signatures by Anton van Straaten Types in signatures by Vesa Karvonen (Current) compilers only report types intermittently by Anton van Straaten Tell the type by looking at a function by Vesa Karvonen Type inference is needed for generic programming. by Mathias Gaunard The idea of tools for by Ehud Lamm My Definition by carsongross ...	Noel	2008-07-02 02:56
Forum topic	Historical map: round two, the fun begins See here. by Ehud Lamm Where? by Tony Finch To add by Ehud Lamm	Ehud Lamm	2008-07-01 20:39
Forum topic	Type system that can type list structure? Heterogenous Collections by rossjudson Nested data types by Greg Buchholz I mucked around a bit. Sorry by scottmcl dependent types? by shapr Cat by Magnum Opus Look at typing XML by Matt Hellige	scottmcl	2008-07-01 14:40
first page previous page next page last page