Lambda the Ultimate

type	title	author	last post
Forum topic	Virgil: Objects on the Head of a Pin LLVM can emit C by naasking Scala is Interesting by Ben L. Titzer Module and backens systems for Virgil by naasking Virgil is designed so all by naasking Hey Cool! by Ben L. Titzer no dynamic allocation, for one by Bret Victor I was thinking the same re: by naasking Why for microcontrollers only? by Achilleas Margaritis Link by Bret Victor	naasking	2007-03-19 23:49
Story	An Intensional Type Theory: Motivation and Cut-Elimination Sure by Per Vognsen Consistent and Complete? by Watson Ladd algorithms for detecting equivalence among such things by William Harold Newman Great paper by Jacques Carette	neelk	2007-03-19 11:13
Forum topic	Tracing in DrScheme Referral by Anton van Straaten	Pat	2007-03-17 07:20
Story	Google Summer of Code Haskell by sean ...and Lisp by Anton van Straaten Sorry. My Bad. by Ehud Lamm Don't forget Squeak by Thomas Lefort OCaml Summer Project by Yaron Minsky	Ehud Lamm	2007-03-16 15:42
Forum topic	Washington DC- FringeDC Haskell/Scheme Presentation March 24th	drcode	2007-03-16 03:22
Forum topic	Why do we need finally in try? Then, I just don't get it. by Nuno Cruces My (minor) point was the by David Medlock Re: Exceptional Syntax by Denis Bredelet -jido Exceptional Syntax by Vesa Karvonen Then... by Nuno Cruces What if the 'new File(...)' by David Medlock open, try... finally close by Denis Bredelet -jido Errors in the scope guard by Denis Bredelet -jido In a finally block you need by Nuno Cruces Walter has described them as by David Medlock ...	Tom Primožič	2007-03-15 16:08
Story	Separation Logic courses (Reynolds) Context Logic as Modal Logic by Charles Stewart Context logic & term rewriting, and bunched implication too by Charles Stewart I see there are newer by Ehud Lamm	Ehud Lamm	2007-03-15 15:45
Forum topic	The Current Practical Limit of Static Typing theorem or conversation? by Dave Herman Previously by Andreas Rossberg What is static and dynamic typing? by frodef Bit stream programming in Erlang by naasking Dynamic code, Arrays, bit twiddling by Oleg Dynamic code 2 ... by slom Dynamic code by Andreas Rossberg In theory, practice is the same as theory by Noel acronym police by Doug Landauer Theorem provers by J Storrs Hall ...	Noel	2007-03-15 12:56
Story	Lightweight static resources Thank you for the comments by Oleg Some comments by Andrew Moss GHC by Gavin Harrison haskell to C++ compiler ? by serg271 Replies by Oleg different thing by ninegua Runtime by taras Timing... by Andrew Moss Timber by Peter A Jonsson Comments please! by Chung-chieh Shan	Ehud Lamm	2007-03-15 07:27
Forum topic	Typing a Functional Stack-Based Language	cdiggins	2007-03-14 14:49
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