Lambda the Ultimate

type	title	author	last post
Forum topic	refereed journal with open access? Don't forget conferences by Adam Chlipala	szobatudos	2008-12-01 14:04
Story	Qi II Has anyone ever given a by Adam Chlipala	James Iry	2008-12-01 14:02
Forum topic	Extensible tuples? Ur includes a generic record by Adam Chlipala	Alex Rubinsteyn	2008-11-17 18:04
Forum topic	Web application shootout? Thanks for the link! That by Adam Chlipala I wasn't interpreting by Adam Chlipala To me, this is quantifiable by Adam Chlipala Thanks. I had seen ocsigen by Adam Chlipala If you have implementations by Adam Chlipala Thanks, though I found by Adam Chlipala That link goes back to LtU, by Adam Chlipala	Adam Chlipala	2008-11-15 13:21
Forum topic	Question concerning parameterization over literals Who said anything about by Adam Chlipala I think it's a mistake to by Adam Chlipala	shap	2008-11-10 22:40
Forum topic	New Programming Language Idea I would say that "process" by Adam Chlipala	Lee Chou	2008-11-06 19:27
Forum topic	ANN: Ur/Web: Statically-typed metaprogramming for the web It won't be that surprising by Adam Chlipala Fixed, thanks by Adam Chlipala	Adam Chlipala	2008-10-28 23:49
Forum topic	Summary of Dependently Typed Systems? I didn't say anything about by Adam Chlipala And most programs could be by Adam Chlipala There are design patterns by Adam Chlipala My take by Adam Chlipala	jim burton	2008-10-27 12:42
Forum topic	Applied Type System vs. Epigram Is ATS really "dependently-typed"? by Adam Chlipala	naasking	2008-09-16 06:44
Forum topic	Polymorphic C Does your question have anything to do with type classes? by Adam Chlipala	cjh	2008-05-21 19:17
Story	Tagless Staged Interpreters for Simpler Typed Languages Explicit "forall"? by Adam Chlipala The type of a parser? by Adam Chlipala The problem to be solved? by Adam Chlipala	Ehud Lamm	2007-12-11 21:41
Story	Singularity: Rethinking the Software Stack It's pretty easy to make by Adam Chlipala	Ehud Lamm	2007-07-06 15:09
Story	A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language Another answer by Adam Chlipala I agree in principle, but... by Adam Chlipala	Paul Snively	2007-03-28 14:31
Story	The New Twelf Wiki Another Coq example by Adam Chlipala	neelk	2007-03-23 00:49
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