The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Chung-chieh Shan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry
    Backtracking, interleaving, and terminating monad transformers: (functional pearl). [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:192-203 [Conf]
  2. Oleg Kiselyov, Chung-chieh Shan, Amr Sabry
    Delimited dynamic binding. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:26-37 [Conf]
  3. Balder ten Cate, Chung-chieh Shan
    Question Answering: From Partitions to Prolog. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:251-265 [Conf]
  4. Chung-chieh Shan
    Monads for natural language semantics [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  5. Chung-chieh Shan
    A variable-free dynamic semantics [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  6. Chung-chieh Shan
    A continuation semantics of interrogatives that accounts for Baker's ambiguity [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  7. Chung-chieh Shan, Balder ten Cate
    The partition semantics of questions, syntactically [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  8. Balder ten Cate, Chung-chieh Shan
    Question answering: from partitions to Prolog [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  9. Chung-chieh Shan
    Delimited continuations in natural language: quantification and polarity sensitivity [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  10. Chung-chieh Shan
    Polarity sensitivity and evaluation order in type-logical grammar [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  11. Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan
    On the dynamic extent of delimited continuations. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:96, n:1, pp:7-17 [Journal]
  12. Chris Barker, Chung-chieh Shan
    Types as Graphs: Continuations in Type Logical Grammar. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2006, v:15, n:4, pp:331-370 [Journal]
  13. Rani Nelken, Chung-chieh Shan
    A Modal Interpretation of the Logic of Interrogation. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2006, v:15, n:3, pp:251-271 [Journal]
  14. Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan
    On the static and dynamic extents of delimited continuations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:60, n:3, pp:274-297 [Journal]
  15. Chung-chieh Shan
    Sexy types in action. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2004, v:39, n:5, pp:15-22 [Journal]
  16. Oleg Kiselyov, Chung-chieh Shan
    Delimited Continuations in Operating Systems. [Citation Graph (0, 0)][DBLP]
    CONTEXT, 2007, pp:291-302 [Conf]
  17. Noam Goldberg, Chung-chieh Shan
    Boosting Optimal Logical Patterns Using Noisy Data. [Citation Graph (0, 0)][DBLP]
    SDM, 2007, pp:- [Conf]
  18. Oleg Kiselyov, Chung-chieh Shan
    A Substructural Type System for Delimited Continuations. [Citation Graph (0, 0)][DBLP]
    TLCA, 2007, pp:223-239 [Conf]
  19. Oleg Kiselyov, Chung-chieh Shan
    Lightweight Static Capabilities. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:7, pp:79-104 [Journal]

  20. Finally Tagless, Partially Evaluated. [Citation Graph (, )][DBLP]


  21. J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. [Citation Graph (, )][DBLP]


  22. Embedded Probabilistic Programming. [Citation Graph (, )][DBLP]


  23. Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). [Citation Graph (, )][DBLP]


  24. Purely functional lazy non-deterministic programming. [Citation Graph (, )][DBLP]


  25. Inverse Scope as Metalinguistic Quotation in Operational Semantics. [Citation Graph (, )][DBLP]


  26. Closing the stage: from staged code to typed closures. [Citation Graph (, )][DBLP]


  27. Shifting the stage: staging with delimited control. [Citation Graph (, )][DBLP]


  28. Lightweight monadic regions. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002