recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
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
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	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	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	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	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	Learn python to implement a complicated static code analyzer perhaps consider MELT by Basile STARYNKEVITCH Thank you all for being so helpful! by zell08v Picking a program analysis framework by Martin Bravenboer Soot, Java, and size by James Iry Does than mean an extensive knowledge in C/C++? by zell08v GCC Python Plugin by sanxiyn	zell08v	2012-03-30 20:10
Forum topic	Is there a site to discuss some issues on abstract interpretation? Pretty informative your answer, many thanks by zell08v Difficult in general by Andrew Moss Thanks. Here some more details by zell08v Try asking your specific questions by Andrew Moss AI was discussed here many by Ehud Lamm You're right -- AI is a very by lmeyerov What is abstract by Jules Jacobs Abstract interpretation is a by lmeyerov Perhaps there should be a by Jules Jacobs	zell08v	2010-05-08 19:32
Forum topic	Do you happen to hear about pre-equivalence? that's it! Thanks by zell08v Yes, exactly. So the OP is by Jules Jacobs Same to isomorphism by James Iry Sure, they are not exactly by Jules Jacobs Not graphical by James Iry Graphs where every node has by Jules Jacobs Reflexive by James Iry Tolerance relation by jack What you have is basically by Jules Jacobs	zell08v	2010-10-28 22:51
Forum topic	High-Level Nondeterministic Abstractions in C++	zayenz	2006-07-04 08:03
next page last page