Andrew D. Gordon - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged type checking

A Partial Type Checking Algorithm for Type: TypeAndreas Abel, Thorsten Altenkirch. ENTCS, 229(5):3-17, 2011. [doi]

Semantic subtyping with an SMT solverGavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy. ICFP 2010: 105-116 [doi]

Hybrid type checkingKenneth W. Knowles, Cormac Flanagan. TOPLAS, 32(2), 2010. [doi]

Graphical, type-checking dependency tree editorTomas By. imcsit 2009: 179-184 [doi]

Checking Emptiness of Non-Deterministic Regular Types with Set OperatorsLunjin Lu. ENTCS, 212:191-206, 2008. [doi]

Checking type safety of foreign function callsMichael Furr, Jeffrey S. Foster. TOPLAS, 30(4), 2008. [doi]

Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with ExistenceKoji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano. csl 2008: 478-492 [doi]

Type Checking Circus SpecificationsManuela Xavier, Ana Cavalcanti, Augusto Sampaio. ENTCS, 195:75-93, 2008. [doi]

A Calculus of Components with Dynamic Type-CheckingSonia Fagorzi, Elena Zucca. ENTCS, 182:73-90, 2007. [doi]

Hybrid type checkingCormac Flanagan. POPL 2006: 245-256 [doi]

Type checking a multithreaded functional language with session typesVasco Thudichum Vasconcelos, Simon J. Gay, António Ravara. TCS, 368(1-2):64-87, 2006. [doi]

A Formal Description Of A Type Checking AlgorithmMajid Naeem, Chris J. Harrison. jot, 4(9):93-100, 2005. [doi]

Strict bidirectional type checkingAdam J. Chlipala, Leaf Petersen, Robert Harper. tldi 2005: 71-78 [doi]

Checking type safety of foreign function callsMichael Furr, Jeffrey S. Foster. PLDI 2005: 62-72 [doi]

Declaring and checking non-null types in an object-oriented languageManuel Fähndrich, K. Rustan M. Leino. OOPSLA 2003: 302-312 [doi]

Type Checking in XOBEMartin Kempa, Volker Linnemann. btw 2003: 227-246 [doi]

Type-checking multi-parameter type classesDominic Duggan, John Ophel. JFP, 12(2):133-158, 2002.

Type Checking Parametrised Programs and Specifications in ASL+::FPC::David Aspinall. WADT 2003: 129-144 [doi]

Invited talk: Tri-Directional Type CheckingFrank Pfenning. ENTCS, 70(1), 2002. [doi]

Dynamic Type Checking in JalapeñoBowen Alpern, Anthony Cocchi, David Grove. jvm 2001: [doi]

Higher-Order Polymorphic Sized Types for Safety ChecksWei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu. aplas 2001: 117-131

Polymorphic CSP Type CheckingPing Gao, Robert Esser. acsc 2001: 156-162 [doi]

A visualisation of polymorphic type checkingYang Jung, Greg Michaelson. JFP, 10(1):57-75, 2000.

Type-checking Balloon TypesPaulo Sérgio Almeida. ENTCS, 20:1-27, 1999. [doi]

Sets, Types and Type-checkingRaymond Turner. logcom, 9(6):959-975, 1999. [doi]

Type-Check Elimination: Two Object-Oriented Reengineering PatternsStéphane Ducasse, Tamar Richner, Robb Nebbe. WCRE 1999: 157 [doi]

Eliminating Array Bound Checking Through Dependent TypesHongwei Xi, Frank Pfenning. PLDI 1998: 249-257

Type-Check EliminationStéphane Ducasse, Robb Nebbe, Tamar Richner. EuroPLoP 1999: 35-52 [doi]

Static Type Checking and Method Lookup in Plop!Peter G. Kluit, Cornelis Pronk, Rob Verver. jmlc 1997: 155-169

Type-Checking Higher-Order Polymorphic Multi-MethodsFrançois Bourdoncle, Stephan Merz. POPL 1997: 302-315 [doi]

Lower Bounds on Type Checking OverloadingDennis M. Volpano. ipl, 57(1):9-13, 1996. [doi]

An Algorithm for Type-Checking Dependent TypesThierry Coquand. SCP, 26(1-3):167-177, 1996.

Type Checking Concurrent I/OW. Homer Carlisle. TOPLAS, 17(3):448-460, 1995. [doi]

Type Checking Coherent OverloadingDennis M. Volpano. stp, 16(2):81-85, 1995.

Divergence of F< Type CheckingGiorgio Ghelli. TCS, 139(1&2):131-162, 1995. [doi]

Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and UndecidableJ. B. Wells. lics 1994: 176-185

A Type Checking Tool for a Formal Specification LanguageNikos Mylonakis, J. Perez Campo. agp 1994: 444-445

Type-Checking Revisited: Modular Error-HandlingT. B. Dinesh. sosl 1994: 216-231

Coherence of Subsumption, Minimum Typing and Type-Checking in F::<=::Pierre-Louis Curien, Giorgio Ghelli. mscs, 2(1):55-91, 1992.

Type Checking with UniversesRobert Harper, Robert Pollack. TCS, 89(1):107-136, 1991.

Abstract Interpretation for Type CheckingGilberto Filé, P. Sottero. plilp 1991: 311-322

Static Type Checking of Multi-MethodsRakesh Agrawal, Linda G. DeMichiel, Bruce G. Lindsay. OOPSLA 1991: 113-128

Type Checking BSI/VDM-SLNico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel. FM 1990: 399-425

Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft)Robert Harper, Robert Pollack. tapsoft 1989: 241-256

Adding an authorization dimension to strong type checkingScott N. Gerard. SIGPLAN, 23(6):145-151, 1988. [doi]

Type Checking in the LargeMichael R. Levy. cc 1989: 137-145

Modules and Type Checking in PL/LLLars-Erik Thorelli. OOPSLA 1987: 268-276

Error Handling as Type CheckingAxel Poigné. adt 1986:

Declaration-Free Type CheckingPrateek Mishra, Uday S. Reddy. POPL 1985: 7-21

Static Type Checking for Languages with Parametric Types and Polymorphic ProceduresRoberto Barbuti, Alberto Martelli. programm 1980: 1-16

runs on WebDSL