Lambda the Ultimate

type	title	author	last post
Forum topic	The TechEmpower Web Framework Benchmarks	Adam Chlipala	2014-05-06 11:41
Forum topic	Print release of a textbook on the Coq proof assistant Right by Adam Chlipala	Adam Chlipala	2014-01-15 13:50
Story	CUFP 2012 Tutorials s/concurring/conquering/ ? by Adam Chlipala	Ehud Lamm	2012-08-27 14:42
Forum topic	Proofs as programs Prior art by Adam Chlipala	hbrandl	2012-05-29 09:43
Forum topic	Certified Programming with Dependent Types: home stretch! Thanks! by Adam Chlipala I should probably explain by Adam Chlipala	Adam Chlipala	2012-04-22 22:31
Forum topic	How to determine your new language is perfect? Easy answer by Adam Chlipala	Mats	2011-11-11 02:37
Story	Extensible Programming with First-Class Cases Please forgive me... by Adam Chlipala	naasking	2011-11-05 14:53
Story	Opa I'll just note that your by Adam Chlipala Ur/Web and concurrency by Adam Chlipala	Ehud Lamm	2011-10-28 01:42
Forum topic	What Does Functional Programming Mean? The real meaning by Adam Chlipala	Denis Bredelet -jido	2011-09-26 00:17
Forum topic	obj vs. ml vs. coq (fight?) Macros by Adam Chlipala	raould	2010-10-05 14:48
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
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