Home » user account

Chung-chieh Shan

type sort icontitleauthorlast post
StoryExceptional syntax Chung-chieh Shan2014-11-04 18:51
StoryDelimited dynamic binding Chung-chieh Shan2011-08-03 11:51
Forum topicData Representation Synthesis lmeyerov2011-05-17 02:32
StoryLifted inference: normalizing loops by evaluation Ehud Lamm2010-09-22 22:18
StoryTagless Staged Interpreters for Simpler Typed Languages Ehud Lamm2010-04-06 00:28
StoryDSL goodness Ehud Lamm2009-10-14 21:19
Forum topicProgramming (language) puzzles Chung-chieh Shan2009-10-02 17:42
Forum topicBridging the informal and the formal Neil Toronto2009-06-12 21:09
StoryD is for Domain and Declarative Chung-chieh Shan2009-03-25 16:51
StoryFrom shift and reset to polarized linear logic Andris Birkmanis2009-03-10 08:47
StoryStaging with Delimited Control Ehud Lamm2008-12-07 20:00
Forum topicObject Oriented Programming + Referential Transparency mjstahl2008-10-30 17:40
Forum topicCommon Lisp Exception Handling SamK2008-10-20 00:55
StoryComputation Orchestration: A Basis for Wide-Area Computing neelk2008-09-11 17:15
Forum topictype-checking programs with unknown types Adrian Quark2008-06-30 07:18
Forum topicservice course in logic and logic programming: crazy? jlasseter2008-05-16 03:46
Forum topicResume using continuations Denis Bredelet -jido2008-04-26 07:30
Forum topicM.Sc thesis ideas on the intersection: Artificial intelligence, Category theory, and Programming languages. Gal Amram2008-04-24 00:38
StoryPure, Declarative, and Constructive Arithmetic Relations Ehud Lamm2008-03-17 19:38
StoryThe Reasoned Schemer Matt Hellige2008-02-22 11:44
StoryThe worker/wrapper transformation Ehud Lamm2008-01-17 09:33
StoryOnline Learning of Relaxed CCG Grammars for Parsing to Logical Form neelk2007-11-04 19:44
Forum topicHistory of causes as object identity Andris Birkmanis2007-10-02 22:05
Forum topicReconstructing Abstractions cdiggins2007-09-15 21:16
Forum topicPartial evaluation applied to high speed lighting preview sigfpe2007-07-30 22:25