recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	how to resolve the compatibility issues of libraries. Previous thread may be of interest by Tim Band Not appropriate by Matt Hellige	zero	2009-12-02 16:50
Forum topic	the Chinese natual language Chinese not like LISP by shap the stuff of thought by debreuil like origami ... by Srikumar Subramanian +1 on thatenglish is light by fasteez A Grammar of Spoken Chinese, by Jason Dusek interesting by rmalafaia be- by barsoap [..], or how many words by barsoap By the way, what is chinese? by eko.hermiyanto Chinese and Lisp terse? by Jules Jacobs ...	Zhu Chongkai	2009-06-01 13:06
Forum topic	Syntactic/Semantic Control in MDA Framework More precisely... by Zizek Metamodels and model-checking by Allan McInnes That's quite a difficult by dmbarbour	Zizek	2008-10-13 10:18
Forum topic	Dimensional analysis typing Fortress discussion by Alan Eliasen More please! by Alan Eliasen More Frink by Alan Eliasen XeLda by steck Thanks, that makes plenty of by Matt M I qualified what I said slightly by sigfpe For example, if a function by Matt M Some theoretical work on Dimension types by Rob Dockins More than just a sanity check by sigfpe frink by e ...	Zombywuf	2007-02-23 07:54
Forum topic	Languages With Some Form of Implicit Subtyping You can do something with a by Klaus Ostermann	zrxer	2006-10-13 07:20
Forum topic	hot topics in type theorem I would list the following by Martin Berger s/PLDI/TLDI/ by Andreas Rossberg PLDI, POPL, ESOP by Charles Stewart	Zsolt Szalai	2010-04-16 17:36
first page previous page next page last page