Chung-chieh Shan

typetitleauthor sort iconlast post
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
StoryFrom abstract interpretation to small-step typing Chung-chieh Shan2007-07-25 02:34
StorySolving a Sudoku with one SQL-statement Ehud Lamm2007-06-12 18:00
StoryLightweight static resources Ehud Lamm2007-03-15 07:27
Forum topicLiterature on recovering grammars? Holgly Morgan2007-02-26 13:24
Forum topicHow do Java generics correspond to System F-(omega)? Chung-chieh Shan2006-07-12 22:39
Forum topicEmail/news interface Jeff Nowakowski2006-06-29 20:09
Forum topicThe fate of reduce() in Python 3000 Andrei Formiga2006-02-12 19:27
StoryThe undergraduate language course: what to do? Chung-chieh Shan2005-12-27 15:53
StoryAn Operational Foundation for Delimited Continuations in the CPS Hierarchy Andris Birkmanis2005-12-24 15:00
Forum topicGalois: high assurance software Chung-chieh Shan2004-10-03 11:06