Concepedia

Chung-chieh Shan

CS

Statistics

Publications

38

Citations

1.8K

H-Index

25

Active since

2002

Affiliations

Rutgers, The State University of New Jersey(Current)

Harvard University Press

Rutgers Sexual and Reproductive Health and Rights

Indiana University

University of Tsukuba

Chung-chieh Shan is an author at Rutgers, The State University of New Jersey specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsProgram AnalysisFormal VerificationLanguageLinguisticsSoftware AnalysisSyntax

Publications per year

2002–2023

38

Publications

38

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

Jacques Carette, Oleg Kiselyov, Chung-chieh Shan · Journal of Functional Programming · 2009 · 263 citations · Full text

Engineering, Type Theory, Interpreter (Computing) +24

Entailment above the word level in distributional semantics

Marco Baroni, Raffaella Bernardi, Ngoc-Quynh Do et al. · Institutional Research Information System (Università degli Studi di Trento) · 2012 · 226 citations · Full text

Donkey anaphora is in-scope binding

Chris Barker, Chung-chieh Shan · Semantics and Pragmatics · 2008 · 146 citations · Full text

Semantics, Quantificational Binder, Applied Linguistics +16

Backtracking, interleaving, and terminating monad transformers

Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman et al. · 2005 · 96 citations

Monadplus Interface, Engineering, Automated Reasoning +13

Binding Alongside Hamblin Alternatives Calls for Variable-free Semantics

Chung-chieh Shan · Proceedings from Semantics and Linguistic Theory · 2004 · 95 citations · Full text

Engineering, Automated Reasoning, Computational Linguistics +9

1–5 of 38