Lambda the Ultimate

type	title	author	last post
Story	Hardware Design and Functional Programming: a Perfect Match Wired by Mary Sheeran Pah by Luke Gorrie "In the HW world, where you by natecain A better choice (IMESHO) by natecain MEMOCODE by Luke Gorrie The difficulty is partially due to architectural trade-offs by Jeff Newbern Lots of people are working on it.... by Scott Johnson Wow yet more major stuff by Luke Gorrie I agree. I thought that was by Ehud Lamm No such discussion is complete.... by natecain ...	Luke Gorrie	2008-07-09 17:39
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	Non-Deterministic Recursive Ascent Parsing Ascent through Descent by Edward Kmett Also, Essence by neelk Derivation of a Typed Functional LR Parser by Derek Elkins	neelk	2008-08-08 14:04
Story	Lisp’s 50th Birthday Celebration	Ehud Lamm	2008-07-05 07:36
Story	Functional Netlists Geometry of Synthesis by Charles Stewart *delete* by Charles Stewart Somewhat disappointing discussion by Charles Stewart "hardware description" versus "hardware synthesis" by Carl Witty	neelk	2008-07-10 10:40
Story	ICFP contest starts tomorrow Mars should be scared by Denis Bredelet -jido	neelk	2008-07-12 19:34
Story	Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml It depends on the platform by Mattias Engdeg Is that really so? by tomlu Java exceptions are cheap by rreyelts Thanks for the update by Denis Bredelet -jido Works4Me by Chris Rathman Connection refused by Denis Bredelet -jido There is atleast one more by Peter A Jonsson is zero overhead really true? by renox Almost free when not used by Mattias Engdeg I doubt C++ exceptions are by naasking ...	naasking	2008-08-24 15:36
Story	The Development of Intuitionistic Logic Schroeppel's conjecture, Jonathan Swift, Fritz Zwicky, Wolfram by jpost Nicely done, Sjoerd Visscher: postfix notation for Decimal Goede by jpost use postfix by Sjoerd Visscher Decimal Goedelization of Heyting's 11 axioms by jpost Intuitionistic model theory by Charles Stewart Intuitionistic logic by Denis Bredelet -jido Highly recommended by Ehud Lamm	Charles Stewart	2008-07-21 16:40
Story	Partial vectorisation of Haskell programs	Ehud Lamm	2008-07-20 16:11
Story	A System to Understand Incorrect Programs I think you are right. The by Ehud Lamm Attractor Dynamics by Barak A. Pearlmutter Ugh: scanned dot-matrix by gpaci Some neat examples from the 1980 paper by johnwcowan U.S. Air Force interested in Understanding Incorrect Programs by jpost In the same vein by Jean-Luc Delatre	Ehud Lamm	2008-07-25 14:19
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation