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
static typing
Google static typing

Tag #static typing

59 papers:

POPLPOPL-2019-CastroHJNY #api #communication #distributed #parametricity #programming #using
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures (DCP, RH, SSJ, NN, NY), p. 30.
ECOOPECOOP-2018-OostvogelsKM #constraints #interface #type system
Static Typing of Complex Presence Constraints in Interfaces (NO, JDK, WDM), p. 27.
POPLPOPL-2018-ParreauxVSK
Unifying analytic and statically-typed quasiquotes (LP, AV, AS, CEK), p. 33.
ICPCICPC-2016-OkonH #comparison #empirical
Can we enforce a benefit for dynamically typed languages in comparison to statically typed ones? A controlled experiment (SO, SH), pp. 1–10.
ICSMEICSME-2016-NewmanMC #named #performance
srcType: A Tool for Efficient Static Type Resolution (CDN, JIM, MLC), pp. 604–606.
ICFP-2016-SeidelJW #fault #source code
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong) (ELS, RJ, WW), pp. 228–242.
ECMFAECMFA-2016-HeimNRW #composition #type safety #using
Compositional Language Engineering Using Generated, Extensible, Static Type-Safe Visitors (RH, PMSN, BR, AW), pp. 67–82.
PLDIPLDI-2016-RenF #type checking
Just-in-time static type checking for dynamic languages (BMR, JSF), pp. 462–476.
ICFPICFP-2015-GenevesG #problem #type system #xquery
XQuery and static typing: tackling the problem of backward axes (PG, NG), pp. 88–100.
PADLPADL-2014-ElsmanS #evaluation #named #rule-based #user interface
Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces (ME, ASN), pp. 184–199.
ICSEICSE-2014-EndrikatHRS #api #documentation #how #question #type system #usability
How do API documentation and static typing affect API usability? (SE, SH, RR, AS), pp. 632–642.
ECOOPECOOP-2013-LernerELK #source code
Combining Form and Function: Static Types for JQuery Programs (BSL, LE, JL, SK), pp. 79–103.
ICPCICPC-2012-KleinschmagerHRS #empirical #maintenance #type system
Do static type systems improve the maintainability of software systems? An empirical study (SK, SH, RR, ÉT, AS), pp. 153–162.
OnwardOnward-2012-Heinlein #composition #named #programming language
MOST-flexiPL: modular, statically typed, flexibly extensible programming language (CH), pp. 159–178.
OOPSLAOOPSLA-2012-CastanosEINNOW #compilation #jit #on the #scripting language
On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages (JGC, DE, KI, PN, TN, TO, PW), pp. 195–212.
OOPSLAOOPSLA-2012-MayerHRTS #empirical #type system #usability
An empirical study of the influence of static type systems on the usability of undocumented software (CM, SH, RR, ÉT, AS), pp. 683–702.
ICLPICLP-2012-ZomboriCS #constraints #logic programming #type inference #using
Static Type Inference for the Q language using Constraint Logic Programming (ZZ, JC, PS), pp. 119–129.
POPLPOPL-2011-AnCFH #ruby
Dynamic inference of static types for ruby (Jh(A, AC, JSF, MH), pp. 459–472.
GPCEGPCE-J-2005-HuangZS11 #generative
Statically safe program generation with SafeGen (SSH, DZ, YS), pp. 376–391.
ICLPICLP-2011-ZomboriCS #functional #prolog #type checking
Static Type Checking for the Q Functional Language in Prolog (ZZ, JC, PS), pp. 62–72.
ICGTICGT-2010-Ujhelyi #model transformation #source code #type checking
Static Type Checking of Model Transformation Programs (ZU), pp. 413–415.
ECOOPECOOP-2010-Hanenberg #developer #empirical #programming #type system
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects — An Empirical Study (SH), pp. 300–303.
OOPSLAOOPSLA-2010-Hanenberg #development #empirical #type system
An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time (SH), pp. 22–35.
PLDIPLDI-2010-Chlipala #metaprogramming #named
Ur: statically-typed metaprogramming with type-level record computation (AC), pp. 122–133.
PPDPPPDP-2010-Jeltsch #combinator #type checking
Generic record combinators with static type checking (WJ), pp. 143–154.
OOPSLAOOPSLA-2009-DucournauMP #assessment #empirical #implementation #inheritance #multi #object-oriented #type system
Empirical assessment of object-oriented implementations with multiple inheritance and static typing (RD, FM, JP), pp. 41–60.
OOPSLAOOPSLA-2009-FurrAF #scripting language #type system
Profile-guided static typing for dynamic scripting languages (MF, Jh(A, JSF), pp. 283–300.
ASEASE-2009-AnCF #ruby #type system
Static Typing for Ruby on Rails (Jh(A, AC, JSF), pp. 590–594.
SACSAC-2009-FurrAFH #ruby #type inference
Static type inference for Ruby (MF, Jh(A, JSF, MWH), pp. 1859–1866.
TOOLSTOOLS-EUROPE-2008-NielsenE #composition #optimisation
Optimizing Dynamic Class Composition in a Statically Typed Language (ABN, EE), pp. 161–177.
PEPMPEPM-2008-GillenwaterMSZTGO #hardware #using
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability (JG, GM, CS, AYZ, WT, JG, JO), pp. 41–50.
HaskellHaskell-2006-Eaton #algebra #haskell #linear
Statically typed linear algebra in Haskell (FE), pp. 120–121.
ICFPICFP-2006-WalkerMLRA #type system #λ-calculus
Static typing for a faulty λ calculus (DW, LWM, JL, GAR, DIA), pp. 38–49.
ICSEICSE-2005-CookR #execution #query
Safe query objects: statically typed objects as remotely executable queries (WRC, SR), pp. 97–106.
GPCEGPCE-2005-HuangZS #generative
Statically Safe Program Generation with SafeGen (SSH, DZ, YS), pp. 309–326.
SCAMSCAM-2003-OlmosV #compilation #dynamic typing #type system
Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave (KO, EV), pp. 141–150.
ICFPICFP-2003-HiguchiO #data access #type system #virtual machine
A static type system for JVM access control (TH, AO), pp. 227–237.
DocEngDocEng-2001-Tozawa #towards #type checking
Towards static type checking for XSLT (AT), pp. 18–27.
POPLPOPL-2000-LewisLMS #parametricity
Implicit Parameters: Dynamic Scoping with Static Types (JRL, JL, EM, MS), pp. 108–118.
SASSAS-2000-GagnonHM #bytecode #java #performance
Efficient Inference of Static Types for Java Bytecode (EG, LJH, GM), pp. 199–219.
ECOOPECOOP-1999-MillsteinC #composition #multi
Modular Statically Typed Multimethods (TDM, CC), pp. 279–303.
PEPMPEPM-1999-Rhiger
Deriving a Statically Typed Type-Directed Partial Evaluator (MR), pp. 25–29.
ECOOPECOOP-1998-BruceOW
A Statically Safe Alternative to Virtual Types (KBB, MO, PW), pp. 523–549.
ECOOPECOOP-1998-Guimaraes
Reflection for Statically Typed Languages (JdOG), pp. 440–461.
OOPSLAOOPSLA-1998-Litvinov #morphism #polymorphism #towards #type system
Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System (VL), pp. 388–411.
POPLPOPL-1998-Nishimura #type system
Static Typing for Dynamic Messages (SN), pp. 266–278.
OOPSLAOOPSLA-1996-DiwanMM #analysis #effectiveness #object-oriented #source code
Simple and Effective Analysis of Statically Typed Object-Oriented Programs (AD, JEBM, KSM), pp. 292–305.
POPLPOPL-1993-Bruce #object-oriented #programming language #type checking
Safe Type Checking in a Statically-Typed Object-Oriented Programming Language (KBB), pp. 285–298.
PLDIPLDI-1992-DiwanMH #compilation #garbage collection
Compiler Support for Garbage Collection in a Statically Typed Language (AD, JEBM, RLH), pp. 273–282.
ISMMIWMM-1992-Chailloux #ambiguity #garbage collection
A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages (EC), pp. 218–229.
ECOOPECOOP-1991-MugridgeHH #multi #programming language
Multi-Methods in a Statically-Typed Programming Language (WBM, JH, JGH), pp. 307–324.
OOPSLAOOPSLA-1991-AgrawalDL #multi #type checking
Static Type Checking of Multi-Methods (RA, LGD, BGL), pp. 113–128.
OOPSLAOOPSLA-1991-Ghelli #message passing #type system
A Static Type System for Message Passing (GG), pp. 129–145.
POPLPOPL-1991-AikenM #type inference
Static Type Inference in a Dynamically Typed Language (AA, BRM), pp. 279–290.
PPDPPLILP-1990-BoeckC #analysis #correctness #prolog
Static Type Analysis of Prolog Procedures for Ensuring Correctness (PDB, BLC), pp. 222–237.
POPLPOPL-1990-Thatte #type system
Quasi-Static Typing (SRT), pp. 367–381.
SIGMODSIGMOD-1989-OhoriBT #database #polymorphism #programming #type inference
Database Programming in Machiavelli — a Polymorphic Language with Static Type Inference (AO, PB, VT), pp. 46–57.
OOPSLAOOPSLA-1989-OhoriB #parametricity #type inference
Static Type Inference for Parametric Classes (AO, PB), pp. 445–456.
POPLPOPL-1989-AbadiCPP #dynamic typing #type system
Dynamic Typing in a Statically-Typed Language (MA, LC, BCP, GDP), pp. 213–227.

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.