BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
xml (4)
extens (3)
transform (3)
modular (2)
upgrad (2)

Stem typecheck$ (all stems)

17 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.