Lambda the Ultimate

type	title	author	last post
Story	Exceptional syntax	Chung-chieh Shan	2014-11-04 18:51
Story	Delimited dynamic binding Open unions and multiple prompts by Chung-chieh Shan Mutable references and multiple prompts by Chung-chieh Shan	Chung-chieh Shan	2011-08-03 11:51
Forum topic	Data Representation Synthesis I had something very simple in mind by Chung-chieh Shan Database relation? by Chung-chieh Shan	lmeyerov	2011-05-17 02:32
Story	Lifted inference: normalizing loops by evaluation Talk slides by Chung-chieh Shan	Ehud Lamm	2010-09-22 22:18
Story	Tagless Staged Interpreters for Simpler Typed Languages DSLs vs non-DSLs by Chung-chieh Shan	Ehud Lamm	2010-04-06 00:28
Story	DSL goodness Conference program by Chung-chieh Shan	Ehud Lamm	2009-10-14 21:19
Forum topic	Programming (language) puzzles Transform laziness to stack allocation? by Chung-chieh Shan 15th element from end? by Chung-chieh Shan Transforming a recurrence equation to direct style? by Chung-chieh Shan Balancing a Calder mobile by Chung-chieh Shan	Chung-chieh Shan	2009-10-02 17:42
Forum topic	Bridging the informal and the formal Indexicals by Chung-chieh Shan	Neil Toronto	2009-06-12 21:09
Story	D is for Domain and Declarative	Chung-chieh Shan	2009-03-25 16:51
Story	From shift and reset to polarized linear logic Multimodal intuitionistic logic by Chung-chieh Shan	Andris Birkmanis	2009-03-10 08:47
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
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