recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	General admin notes And... by Matt Hellige	Ehud Lamm	2008-09-18 03:57
Forum topic	Another multimedia dataflow programming system	raould	2008-09-18 00:06
Story	Verifiable Functional Purity in Java	Ehud Lamm	2008-09-17 22:46
Forum topic	Typing a function which includes its axioms? Related LTU discussion by shap Java+ITP and the Key project by Charles Stewart In general, by jdgallag Just do it! by Matthieu Sozeau How did that work out? by jdgallag Looks like just the thing! by Bryan Turner Algebraic specification by Leland McInnes Qualified Types by Daniel Yokomizo OBJ by Jim Apple tags and assert by John Nilsson ...	Bryan Turner	2008-09-17 22:35
Forum topic	A Java-like formalism for control flow analysis.	Kannan Goundan	2008-09-17 21:48
Forum topic	Is There a Standard Formalism for Describing Abstract Syntax Trees? Good Point by markt Or use a final, tagless by naasking ML data types by Chris Rathman AST are not well defined (and not really abstract) by Basile STARYNKEVITCH	markt	2008-09-16 21:42
Forum topic	Announcement: Genyris Language srfi 49? by grettke I'll give it a try... by destrella thanks for the notes by raould Re: on genericity/ies by birchb benefits of "tagging" by Curtis W on genericity/ies? by raould Libraries for Genyris by birchb I like the syntax by vrthra	birchb	2008-09-16 18:48
Story	Clojure's Approach to Identity and State My language Kogut does that by Qrczak In the article by James Iry Erlang is cumbersome? by marshall Arity pattern matching for &opt and &rest args - Interesting by scottmcl	James Iry	2008-09-16 09:58
Forum topic	Applied Type System vs. Epigram It's worth adding... by neelk "Dependent types" by Dan Licata Is ATS really "dependently-typed"? by Adam Chlipala working ATS programs by Isaac Gouy Thanks for the explanation! by naasking Epigram/DML/ATS/Coq by Matthieu Sozeau Relation to DML by naasking Epigram/DML/Cayenne by rebooted	naasking	2008-09-16 06:44
Forum topic	Cilk++ (alpha) docs made public	Ilya Mirman	2008-09-13 12:59
first page previous page next page last page