Lambda the Ultimate

type	title	author	last post
Forum topic	The ideal style/system for namespaces. ? by Adam Chlipala ML module system by Adam Chlipala	simcop2387	2010-08-16 17:25
Forum topic	The Halting Problem and Program Proving Algorithms What are you looking for? by Adam Chlipala	johnnyb	2010-06-29 23:30
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	2010-04-06 00:28
Forum topic	Testing release of a platform for hosting pure functional web applications Runtime issues by Adam Chlipala Example by Adam Chlipala User interface widgets by Adam Chlipala No worries :-) by Adam Chlipala OPA by Adam Chlipala Clarifying by Adam Chlipala	Adam Chlipala	2010-02-26 23:30
Story	Reminder: OOPSLA is now SPLASH Journals vs. proceedings by Adam Chlipala Author fees by Adam Chlipala Online proceedings by Adam Chlipala Re: object-y goodness by Adam Chlipala	neelk	2010-02-22 23:35
Forum topic	Do you know of any good summer schools on types/programming languages for 2010? This research area isn't by Adam Chlipala	iainmcgin	2010-02-22 15:23
Forum topic	wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit? C is the language of compilers? by Adam Chlipala	spdegabrielle	2010-01-07 02:11
Forum topic	Lua for Apache httpd.conf, again An alternative by Adam Chlipala	Manuel J. Simoni	2009-09-16 20:27
Forum topic	best superset language... I think you were right that by Adam Chlipala	ceti331	2009-08-27 06:01
Forum topic	(Very) Simpleminded kind question The Ur/Web language that I'm by Adam Chlipala	jimdesu	2009-07-26 14:11
Forum topic	The Meta-LtU Thread Implementation discussion by Adam Chlipala	Leon P Smith	2009-06-14 13:43
Forum topic	A new idea in OOP. Please comment. OCaml by Adam Chlipala	dakurai	2009-06-10 05:05
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	2009-01-23 19:27
Forum topic	New Programming Language Idea I would say that "process" by Adam Chlipala	Lee Chou	2009-01-14 09:06
Forum topic	Web hosting for Haskell/Lisp/Scheme HCoop by Adam Chlipala	Morris Johns	2009-01-10 07:39
Story	Qi II Has anyone ever given a by Adam Chlipala	James Iry	2008-12-18 01:21
Forum topic	refereed journal with open access? Don't forget conferences by Adam Chlipala	Gergely Buday	2008-12-01 14:04
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	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	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
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