BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
type checking
Google type checking

Tag #type checking

55 papers:

POPLPOPL-2020-SozeauBFTW #coq #exclamation #verification
Coq Coq correct! verification of type checking and erasure for Coq, in Coq (MS, SB, YF0, NT, TW), p. 28.
PLDIPLDI-2019-CicekQBG0 #bidirectional #relational
Bidirectional type checking for relational properties (, WQ, GB, MG, DG0), pp. 533–547.
IFM-2017-DamianiLMS
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs (FD, ML, RM, IS), pp. 111–126.
OOPSLAOOPSLA-2017-ChaudhuriVGRL #javascript #performance #precise
Fast and precise type checking for JavaScript (AC, PV, SG, MR, GL), p. 30.
IFM-2016-DamianiL #on the #product line
On Type Checking Delta-Oriented Product Lines (FD, ML), pp. 47–62.
PLDIPLDI-2016-RenF #static typing
Just-in-time static type checking for dynamic languages (BMR, JSF), pp. 462–476.
OOPSLAOOPSLA-2015-ErdwegBKKM #incremental
A co-contextual formulation of type rules and its application to incremental type checking (SE, OB, EK, MK, MM), pp. 880–897.
IFLIFL-2014-AmorimGAH #linear
Really Natural Linear Indexed Type Checking (AAdA, MG, EJGA, JH), p. 5.
GPCEGPCE-2013-KolesnikovRHA #comparison
A comparison of product-based, feature-based, and family-based type checking (SSK, AvR, CH, SA), pp. 115–124.
OOPSLAOOPSLA-2011-AllenHKLRCS #composition #inheritance #morphism #multi #parametricity #polymorphism
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance (EEA, JH, SK, VL, SR, DC, GLSJ), pp. 973–992.
LDTALDTA-2011-SergeyC #automaton #recursion
From type checking by recursive descent to type checking with an abstract machine (IS, DC), p. 2.
ICLPICLP-2011-ZomboriCS #functional #prolog #static typing
Static Type Checking for the Q Functional Language in Prolog (ZZ, JC, PS), pp. 62–72.
ICGTICGT-2010-Ujhelyi #model transformation #source code #static typing
Static Type Checking of Model Transformation Programs (ZU), pp. 413–415.
PLDIPLDI-2010-KhooCF #execution #symbolic computation
Mixing type checking and symbolic execution (YPK, BYEC, JSF), pp. 436–447.
PPDPPPDP-2010-Jeltsch #combinator #static typing
Generic record combinators with static type checking (WJ), pp. 143–154.
POPLPOPL-2009-ConditHLQ #low level
Unifying type checking and property checking for low-level code (JC, BH, SKL, SQ), pp. 302–314.
VLDBVLDB-2008-DeutchM #execution #query #type inference
Type inference and type checking for queries on execution traces (DD, TM), pp. 352–363.
ICFPICFP-2008-SchrijversJCS
Type checking with open type functions (TS, SLPJ, MMTC, MS), pp. 51–62.
GT-VMTGT-VMT-2008-AzabP #c++ #graph #source code
Type Checking C++ Template Instantiation by Graph Programs (KA, KHP).
FLOPSFLOPS-2006-Tozawa #transducer #using #xml
XML Type Checking Using High-Level Tree Transducer (AT), pp. 81–96.
POPLPOPL-2006-Flanagan #hybrid
Hybrid type checking (CF), pp. 245–256.
PODSPODS-2005-ManethBPS #metaprogramming #transducer #xml
XML type checking with macro tree transducers (SM, AB, TP, HS), pp. 283–294.
WRLAWRLA-2004-LiquoriW05 #calculus #polymorphism #type inference
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference] (LL, BW), pp. 89–111.
CCCC-2003-BurrowsFW #runtime #source code
Run-Time Type Checking for Binary Programs (MB, SNF, JLW), pp. 90–105.
SASSAS-2002-LuK #type inference
Backward Type Inference Generalises Type Checking (LL, AK), pp. 85–101.
ESOPESOP-2002-Morrisett
Type Checking Systems Code (JGM), pp. 1–5.
DocEngDocEng-2001-Tozawa #static typing #towards
Towards static type checking for XSLT (AT), pp. 18–27.
FASEFASE-2001-LoginovYHR #debugging #runtime
Debugging via Run-Time Type Checking (AL, SHY, SH, TWR), pp. 217–232.
ESOPESOP-2000-Charatonik #logic programming #source code
Directional Type Checking for Logic Programs: Beyond Discriminative Types (WC), pp. 72–87.
PASTEPASTE-1999-ChandraR #c #physics
Physical Type Checking for C (SC, TWR), pp. 66–75.
FLOPSFLOPS-1999-BeierleM #approximate #prolog #source code #using
Using Types as Approximations for Type Checking Prolog Programs (CB, GM), pp. 251–266.
UMLUML-1999-Clark #diagrams #uml
Type Checking UML Static Diagrams (TC), pp. 503–517.
ICFPICFP-1996-Ghelli #complexity #kernel #type system
Complexity of Kernel Fun Subtype Checking (GG), pp. 134–145.
SASSAS-1994-AikenL #logic programming #source code
Directional Type Checking of Logic Programs (AA, TKL), pp. 43–60.
ICLPILPS-1994-Brisset #logic programming #polymorphism #programming language
Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language (PB), p. 674.
OOPSLAOOPSLA-1993-BruceCMGDM #decidability #object-oriented
Safe and Decidable Type Checking in an Object-Oriented Language (KBB, JC, TPM, RvG, AD, RM), pp. 29–46.
POPLPOPL-1993-Bruce #object-oriented #programming language #static typing
Safe Type Checking in a Statically-Typed Object-Oriented Programming Language (KBB), pp. 285–298.
POPLPOPL-1993-NipkowP
Type Checking Type Classes (TN, CP), pp. 409–418.
FMVDME-1991-DammHB #consistency #on the
On Type Checking in VDM and Related Consistency Issues (FMD, BSH, HB), pp. 45–62.
OOPSLAOOPSLA-1991-AgrawalDL #multi #static typing
Static Type Checking of Multi-Methods (RA, LGD, BGL), pp. 113–128.
PPDPPLILP-1991-FileS #abstract interpretation
Abstract Interpretation for Type Checking (GF, PS), pp. 311–322.
SASWSA-1991-BoeckC #analysis #automation #prolog
Automatic Construction of Prolog Primitives for Type Checking Analysis (PDB, BLC), pp. 165–172.
FMVDME-1990-PlatHKOPT
Type Checking BSI/VDM-SL (NP, RH, JvK, GvO, KP, HT), pp. 399–425.
TAPSOFTCCIPL-1989-HarperP #ambiguity #calculus #morphism #polymorphism
Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft) (RH, RP), pp. 241–256.
TAPSOFTCCIPL-1989-InverardiMM #question
Is Type Checking Practical for System Configuration? (PI, SM, CM), pp. 257–271.
CCCCHSC-1988-Levy #in the large
Type Checking in the Large (MRL), pp. 137–145.
OOPSLAOOPSLA-1987-Thorelli #ll
Modules and Type Checking in PL/LL (LET), pp. 268–276.
ASPLOSASPLOS-1987-SteenkisteH #hardware #lisp
Tags and Type Checking in Lisp: Hardware and Software Approaches (PS, JLH), pp. 50–59.
POPLPOPL-1985-MishraR
Declaration-Free Type Checking (PM, USR), pp. 7–21.
LISPLFP-1984-Katayama #approach #functional #programming language #type inference
Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach (TK), pp. 263–272.
PLDISCC-1984-Levy #compilation #reuse #usability
Type checking, separate compilation and reusability (MRL), pp. 285–289.
POPLPOPL-1983-Meertens #incremental #polymorphism
Incremental Polymorphic Type Checking in B (LGLTM), pp. 265–275.
POPLPOPL-1980-DemersD #data type #parametricity
Data Types, Parameters, and Type Checking (AJD, JED), pp. 12–23.
POPLPOPL-1979-Miller
Type Checking in an Imperfect World (TCM), pp. 237–243.
AdaDIPL-1976-Brosgol #data type
Some issues in data types and type checking (BMB), pp. 102–130.

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.