52 Publications (Page 2 of 3)
2009
Purely functional lazy non-deterministic programmingFischer, Sebastian⋅Kiselyov, Oleg and Shan, Chung ChiehACM SIGPLAN Notices, vol. 44, (no. 9), pp. 11, 2009-08-31.
| Journal Article
2008
Donkey Anaphora Is In-Scope BindingBarker, Chris and Shan, Chung ChiehSemantics and Pragmatics, vol. 1, pp. 46, 2008.
| Journal Article
2007
A static simulation of dynamic delimited controlShan, Chung ChiehHigher-Order and Symbolic Computation, vol. 20, (no. 4), pp. 401, 20071200.
| Journal Article
Boosting Optimal Logical Patterns Using Noisy DataGoldberg, Noam⋅Goldberg, Noam⋅Shan, Chung Chieh and Shan, Chung ChiehSociety for Industrial and Applied Mathematics. Proceedings of the SIAM International Conference on Data Mining, pp. 228, 20070101.
| Journal Article
Instructions for S&P authors using LATEX 2εvon Fintel, Kai⋅Von Fintel, Kai⋅Potts, Christopher⋅Potts, Christopher⋅Shan, Chung-chieh and Shan, Chung ChiehSemantics and Pragmatics, 2007-11-27.
| Journal Article
Lightweight Static CapabilitiesKiselyov, Oleg and Shan, Chung ChiehElectronic Notes in Theoretical Computer Science, vol. 174, (no. 7), pp. 104, 2007-06-04.
| Journal Article
2006
A Modal Interpretation of the Logic of InterrogationNelken, Rani⋅Nelken, Rani⋅Shan, Chung Chieh and Shan, Chung ChiehJournal of Logic, Language, and Information, vol. 15, (no. 3), pp. 271, 20061001.
| Journal Article
Delimited dynamic bindingKiselyov, Oleg⋅Kiselyov, Oleg⋅Shan, Chung-chieh⋅Shan, Chung Chieh⋅Sabry, Amr and Sabry, AmrACM SIGPLAN Notices, vol. 41, (no. 9), pp. 26, 2006-09-16.
| Journal Article
Explaining Crossover and Superiority as Left-to-Right EvaluationShan, Chung-chieh⋅Shan, Chung Chieh⋅Shan, Chung Chieh⋅Barker, Chris⋅Barker, Chris and Barker, ChrisLinguistics and Philosophy, vol. 29, (no. 1), pp. 134, 20060201.
| Journal Article
On the static and dynamic extents of delimited continuationsBiernacki, Dariusz⋅Biernacki, Dariusz⋅Danvy, Olivier⋅Danvy, Olivier⋅Shan, Chung Chieh and Shan, Chung ChiehScience of Computer Programming, vol. 60, (no. 3), pp. 297, 2006.
| Journal Article
Types as Graphs: Continuations in Type Logical GrammarBarker, Chris and Shan, Chung ChiehJournal of Logic, Language, and Information, vol. 15, (no. 4), pp. 370, 20061101.
| Journal Article
2005
Backtracking, interleaving, and terminating monad transformersKiselyov, Oleg⋅Kiselyov, Oleg⋅Shan, Chung Chieh⋅Shan, Chung Chieh⋅Friedman, Daniel P⋅Friedman, Daniel P⋅Sabry, Amr and Sabry, AmrACM SIGPLAN Notices, vol. 40, (no. 9), pp. 192, 2005-09-12.
| Journal Article
On the dynamic extent of delimited continuationsBiernacki, Dariusz⋅Biernacki, Dariusz⋅Danvy, Olivier⋅Danvy, Olivier⋅Shan, Chung Chieh and Shan, Chung ChiehInformation Processing Letters, vol. 96, (no. 1), pp. 17, 2005.
| Journal Article
On the Dynamic Extent of Delimited ContinuationsBiernacki, Dariusz⋅Danvy, Olivier and Shan, Chung ChiehBRICS Report Series, 2005-04-11.
| Journal Article
On the Static and Dynamic Extents of Delimited ContinuationsBiernacki, Dariusz⋅Danvy, Olivier and Shan, Chung ChiehBRICS Report Series, 2005-12-11.
| Journal Article
2004
A Logic of Interrogation Should Be Internalized in a Modal Logic for KnowledgeNelken, Rani⋅Nelken, Rani⋅Shan, Chung Chieh and Shan, Chung ChiehSemantics and Linguistic Theory, vol. 14, pp. 197, 2004-09-09.
| Journal Article
Binding Alongside Hamblin Alternatives Calls for Variable-free SemanticsShan, Chung Chieh and Shan, Chung ChiehSemantics and Linguistic Theory, vol. 14, pp. 289, 2004-09-09.
| Journal Article
Delimited continuations in natural language: quantification and polarity sensitivityShan, Chung Chieh2004-04-04.
| Journal Article
Polarity sensitivity and evaluation order in type-logical grammarShan, Chung Chieh2004-04-04.
| Journal Article
Sexy types in actionShan, Chung ChiehACM SIGPLAN Notices, vol. 39, (no. 5), pp. 22, 05-01-2004.
| Journal Article
2002
A Continuation Semantics of Interrogatives That Accounts for Baker's AmbiguityShan, Chung Chieh and Shan, Chung ChiehSemantics and Linguistic Theory, vol. 12, pp. 246, 2002-09-03.
| Journal Article