Lambda the Ultimate

type	title	author	last post
Story	Staging with Delimited Control Tuning is a solution, not a problem by Chung-chieh Shan	Ehud Lamm	2008-12-07 20:00
Forum topic	Object Oriented Programming + Referential Transparency Expressing OOP functionally by Chung-chieh Shan	mjstahl	2008-10-30 17:40
Forum topic	Common Lisp Exception Handling Termination and resumption in C++ by Chung-chieh Shan	SamK	2008-10-20 00:55
Story	Computation Orchestration: A Basis for Wide-Area Computing Embedding multiple interpreters in C#? by Chung-chieh Shan	neelk	2008-09-11 17:15
Forum topic	type-checking programs with unknown types HM + type dynamic by Chung-chieh Shan	Adrian Quark	2008-06-30 07:18
Forum topic	service course in logic and logic programming: crazy? The truth table is dead; long live the truth table by Chung-chieh Shan	jlasseter	2008-05-16 03:46
Forum topic	Resume using continuations Delimited continuations by Chung-chieh Shan	Denis Bredelet -jido	2008-04-26 07:30
Forum topic	M.Sc thesis ideas on the intersection: Artificial intelligence, Category theory, and Programming languages. Probability monad by Chung-chieh Shan	Gal Amram	2008-04-24 00:38
Story	Pure, Declarative, and Constructive Arithmetic Relations Mode-oblivious arithmetic by Chung-chieh Shan	Ehud Lamm	2008-03-17 19:38
Story	The Reasoned Schemer Credit due by Chung-chieh Shan	Matt Hellige	2008-02-22 11:44
Story	The worker/wrapper transformation Rolling loops? by Chung-chieh Shan	Ehud Lamm	2008-01-17 09:33
Story	Online Learning of Relaxed CCG Grammars for Parsing to Logical Form Computational Semantics and Type Theory by Chung-chieh Shan	neelk	2007-11-04 19:44
Forum topic	History of causes as object identity Not quite what you wanted by Chung-chieh Shan	Andris Birkmanis	2007-10-02 22:05
Forum topic	Reconstructing Abstractions Refunctionalization by Chung-chieh Shan	cdiggins	2007-09-15 21:16
Forum topic	Partial evaluation applied to high speed lighting preview Metaprogramming is the key to interaction performance by Chung-chieh Shan	sigfpe	2007-07-30 22:25
Story	From abstract interpretation to small-step typing Stochastic programs by Chung-chieh Shan Type checking is abstract evaluation by Chung-chieh Shan	Chung-chieh Shan	2007-07-25 02:34
Story	Solving a Sudoku with one SQL-statement From Sudoku to SQL in Haskell by Chung-chieh Shan	Ehud Lamm	2007-06-12 18:00
Story	Lightweight static resources Comments please! by Chung-chieh Shan	Ehud Lamm	2007-03-15 07:27
Forum topic	Literature on recovering grammars? Grammatical inference by Chung-chieh Shan	Holgly Morgan	2007-02-26 13:24
Forum topic	How do Java generics correspond to System F-(omega)?	Chung-chieh Shan	2006-07-12 22:39
Forum topic	Email/news interface Threading by Chung-chieh Shan Posting/reading by email by Chung-chieh Shan Forummail, mailhandler, listhandler? by Chung-chieh Shan	Jeff Nowakowski	2006-06-29 20:09
Forum topic	The fate of reduce() in Python 3000 Towards the best collection traversal interface by Chung-chieh Shan	Andrei Formiga	2006-02-12 19:27
Story	The undergraduate language course: what to do?	Chung-chieh Shan	2005-12-27 15:53
Story	An Operational Foundation for Delimited Continuations in the CPS Hierarchy Comments on draft welcome by Chung-chieh Shan	Andris Birkmanis	2005-12-24 15:00
Forum topic	Galois: high assurance software	Chung-chieh Shan	2004-10-03 11:06
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