researchr - search publication type checking

researchr

You are not signed in
Sign in
Sign up

468 publication results matching 'type checking'

A co-contextual formulation of type rules and its application to incremental type checking
… context coordinates type checking in otherwise independent subexpressions, which inhibits parallelization and incrementalization of type checking.

We propose … checking. Using our method, we derive incremental type checkers for PCF …
Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini. OOPSLA 2015: 880-897 [doi]
Type Checking Type ClassesTobias Nipkow, Christian Prehofer. POPL 1993: 409-418
Sets, Types and Type-checkingRaymond Turner. logcom, 9(6):959-975, 1999. [doi]
Type-checking Balloon TypesPaulo Sérgio Almeida. ENTCS, 20:1-27, 1999. [doi]
Type Checking with UniversesRobert Harper, Robert Pollack. TCS, 89(1):107-136, 1991.
Strict bidirectional type checkingAdam J. Chlipala, Leaf Petersen, Robert Harper. tldi 2005: 71-78 [doi]
Abstract Interpretation for Type CheckingGilberto Filé, P. Sottero. plilp 1991: 311-322
A visualisation of polymorphic type checkingYang Jung, Greg Michaelson. JFP, 10(1):57-75, 2000.
Type Checking in XOBEMartin Kempa, Volker Linnemann. btw 2003: 227-246 [doi]
Type Checking Coherent OverloadingDennis M. Volpano. stp, 16(2):81-85, 1995.
Type Checking in the LargeMichael R. Levy. cc 1989: 137-145
Type Checking Circus SpecificationsManuela Xavier, Ana Cavalcanti, Augusto Sampaio. ENTCS, 195:75-93, 2008. [doi]
Hybrid type checkingCormac Flanagan. POPL 2006: 245-256 [doi]
Hybrid type checkingKenneth W. Knowles, Cormac Flanagan. TOPLAS, 32(2), 2010. [doi]
Dynamic Type Checking in JalapeñoBowen Alpern, Anthony Cocchi, David Grove. jvm 2001: [doi]
Type-Check EliminationStéphane Ducasse, Robb Nebbe, Tamar Richner. EuroPLoP 1999: 35-52 [doi]
Error Handling as Type CheckingAxel Poigné. adt 1986:
Polymorphic Type-Checking in SchemeSteven L. Jenkins, Gary T. Leavens. Comp. Lang., Syst. \& Struct., 22(4):215-223, 1996.
Declaration-Free Type CheckingPrateek Mishra, Uday S. Reddy. POPL 1985: 7-21
Polymorphic CSP Type CheckingPing Gao, Robert Esser. acsc 2001: 156-162 [doi]

Sign in or sign up to see more results.

runs on WebDSL