1. Mentioned In 10 Articles

2. A functional-logic library for wired

   The ACM Portal (Jul 7 2008) Explore Article

   ... in Ruby. In J. Staunstrup, editor, Formal Methods for VLSI Design., Elsevier, 1990. Oleg Kiselyov, Chung-Chieh Shan, Daniel P. Friedman, and Amr Sabry. Backtracking, interleaving, and terminating monad transformers.... (Read Full Article)
   

   Comment on Article Mentions:   Daniel P.   Acm Sigplan   Emil Axelsson

3. How to zip folds: A library of fold transformers (streams)

   okmij.org (Jul 1 2008) Explore Article

   ...ncidentally, compared to the notation in McCarthy's paper, the Haskell notation is notably concise. Chung-chieh Shan commented: ``The basic idea is to think of a set of possible worlds. Corresponding to each person (... (Read Full Article)
   

   Comment on Article Mentions:   Chung-chieh Shan   Scheme   John McCarthy

4. Haskell's overlooked object system (pdf)

   homepages.cwi.nl (May 20 2008) Explore Article

   ...s We thank Keean Schupke for his major contributions to the HList and OOHaskell libraries. We thank Chung-chieh Shan for very helpful discussions. We also gratefully acknowledge feedback from Robin Green, Bryn Keller... (Read Full Article)
   

   Comment on Article Mentions:   Lennart Augustsson   Computer Science   Haskell

5. Conrad Parker: Continuation Fest 2008: Continuations for video decoding and scrubbing

   blog.kfish.org (Apr 14 2008) Explore Article

   ...d in my mission to introduce this problem space to some really smart people. Thanks particularly to Chung-chieh Shan for some insightful ideas about how to deal with existing stateful codec implementations. It was al... (Read Full Article)
   

   Comment on Article Mentions:   Chung-chieh Shan   Conrad Parker   Oleg Kiselyov

6. Programming and Computation

   okmij.org (Mar 30 2008) Explore Article

   ...les, we obtain the framework for expressing various substructural and modal logics. Joint work with Chung-chieh Shan. A Substructural Type System for Delimited Continuations This paper introduced small-step typecheck... (Read Full Article)
   

   Comment on Article Mentions:   Haskell   Henry G. Baker   Scheme

7. [Haskell-cafe] Designing DSL with explicit sharing [was: I love purity, but it's killing me]

   Haskell (Feb 27 2008) Explore Article

   ...in expressions common, and thus greatly helps the compiler as well as human readers of the code. As Chung-chieh Shan has pointed out, we need to introduce a "let" construct in the _embedded_ language. Since our DSL a... (Read Full Article)
   

   Comment on Article Mentions:   Haskell   Chung-chieh Shan   Matthew Naylor

8. Pure, Declarative, and Constructive Arithmetic Relations

   Lambda the Ultimate (Feb 27 2008) Explore Article

   . Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, and Chung-chieh Shan. FLOPS 2008. (source code) We present decidable logic programs for addition, multiplication, divisi... (Read Full Article)
   

   Comment on Article Mentions:   Daniel P.   Oleg Kiselyov   Haskell

9. HackageDB: CC-delcont-0.2

   HackageDB (Feb 26 2008) Explore Article

   ...mically scoped variables, as implemented in the paper, Delimited Dynamic Binding, by Oleg Kiselyov, Chung-chieh Shan and Amr Sabry (http://okmij.org/ftp/papers/DDBinding.pdf), adapted from the original haskell An imp... (Read Full Article)
   

   Comment on Article Mentions:   Amr Sabry   Kent Dybvig   Oleg Kiselyov

10. Algorithms and Data Structures

    okmij.org (Feb 25 2008) Explore Article

    ...ncidentally, compared to the notation in McCarthy's paper, the Haskell notation is notably concise. Chung-chieh Shan commented: ``The basic idea is to think of a set of possible worlds. Corresponding to each person (... (Read Full Article)
    

    Comment on Article Mentions:   Chung-chieh Shan   Scheme   John McCarthy

11. Continuations and delimited control

    okmij.org (Feb 7 2008) Explore Article

    ... macro-expressible in terms of each other. The report thus confirms the result first established by Chung-chieh Shan in ``Shift to Control'' (Scheme Workshop, 2004). The report uses a more uniform technique that lets... (Read Full Article)
    

    Comment on Article Mentions:   Olivier Danvy   Johan Jeuring   Amr Sabry

1-10 of 10