17 papers:
ICFP-2013-DunfieldK #bidirectional #morphism #polymorphism #rank- Complete and easy bidirectional typechecking for higher-rank polymorphism (JD, NRK), pp. 429–442.
POPL-2012-StrubSFC #coq #named #self- Self-certification: bootstrapping certified typecheckers in F* with Coq (PYS, NS, CF, JC), pp. 571–584.
BX-2008-Nakano1 #model transformation- Typechecking Model Transformation (KN), p. 50.
ECOOP-2008-BiermanPN #incremental #named- UpgradeJ: Incremental Typechecking for Class Upgrades (GMB, MJP, JN), pp. 235–259.
OOPSLA-2008-TatlockTSJL #refactoring- Deep typechecking and refactoring (ZT, CT, DS, RJ, SL), pp. 37–52.
PODS-2004-MartensN #xml- Frontiers of Tractability for Typechecking Simple XML Transformations (WM, FN), pp. 23–34.
- POPL-2004-DunfieldP #bidirectional
- Tridirectional typechecking (JD, FP), pp. 281–292.
- OOPSLA-2003-MillsteinRC #composition #multi
- Relaxed MultiJava: balancing extensibility and modular typechecking (TDM, MR, CC), pp. 224–240.
- ICFP-2002-MillsteinBC #composition #data type
- Modular typechecking for hierarchically extensible datatypes and functions (TDM, CB, CC), pp. 110–122.
- PODS-2001-AlonMNSV #revisited #xml
- XML with Data Values: Typechecking Revisited (NA, TM, FN, DS, VV).
LICS-2001-AlonMNSV #database #relational #xml- Typechecking XML Views of Relational Databases (NA, TM, FN, DS, VV), pp. 421–430.
- PODS-2000-MiloSV #xml
- Typechecking for XML Transformers (TM, DS, VV), pp. 11–22.
TLCA-1995-Pollack- A Verified Typechecker (RP), pp. 365–380.
- OOPSLA-1994-ChambersL #multi
- Typechecking and Modules for Multi-Methods (CC, GTL), pp. 1–15.
- OOPSLA-1993-BrachaG #named #smalltalk
- Strongtalk: Typechecking Smalltalk in a Production Environment (GB, DG), pp. 215–230.
IWMM-1992-Chailloux #ambiguity #garbage collection #static typing- A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages (EC), pp. 218–229.
- POPL-1989-Remy #ml
- Typechecking Records and Variants in a Natural Extension of ML (DR), pp. 77–88.
