Tag #static typing
59 papers:
POPL-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.
ECOOP-2018-OostvogelsKM #constraints #interface #type system- Static Typing of Complex Presence Constraints in Interfaces (NO, JDK, WDM), p. 27.
- POPL-2018-ParreauxVSK
- Unifying analytic and statically-typed quasiquotes (LP, AV, AS, CEK), p. 33.
ICPC-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.
ICSME-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.
ECMFA-2016-HeimNRW #composition #type safety #using- Compositional Language Engineering Using Generated, Extensible, Static Type-Safe Visitors (RH, PMSN, BR, AW), pp. 67–82.
PLDI-2016-RenF #type checking- Just-in-time static type checking for dynamic languages (BMR, JSF), pp. 462–476.
ICFP-2015-GenevesG #problem #type system #xquery- XQuery and static typing: tackling the problem of backward axes (PG, NG), pp. 88–100.
PADL-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.
ICSE-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.
- ECOOP-2013-LernerELK #source code
- Combining Form and Function: Static Types for JQuery Programs (BSL, LE, JL, SK), pp. 79–103.
- ICPC-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.
Onward-2012-Heinlein #composition #named #programming language- MOST-flexiPL: modular, statically typed, flexibly extensible programming language (CH), pp. 159–178.
OOPSLA-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.
- OOPSLA-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.
ICLP-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.
- POPL-2011-AnCFH #ruby
- Dynamic inference of static types for ruby (Jh(A, AC, JSF, MH), pp. 459–472.
GPCE-J-2005-HuangZS11 #generative- Statically safe program generation with SafeGen (SSH, DZ, YS), pp. 376–391.
- ICLP-2011-ZomboriCS #functional #prolog #type checking
- Static Type Checking for the Q Functional Language in Prolog (ZZ, JC, PS), pp. 62–72.
ICGT-2010-Ujhelyi #model transformation #source code #type checking- Static Type Checking of Model Transformation Programs (ZU), pp. 413–415.
- ECOOP-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.
- OOPSLA-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.
- PLDI-2010-Chlipala #metaprogramming #named
- Ur: statically-typed metaprogramming with type-level record computation (AC), pp. 122–133.
PPDP-2010-Jeltsch #combinator #type checking- Generic record combinators with static type checking (WJ), pp. 143–154.
- OOPSLA-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.
- OOPSLA-2009-FurrAF #scripting language #type system
- Profile-guided static typing for dynamic scripting languages (MF, Jh(A, JSF), pp. 283–300.
ASE-2009-AnCF #ruby #type system- Static Typing for Ruby on Rails (Jh(A, AC, JSF), pp. 590–594.
SAC-2009-FurrAFH #ruby #type inference- Static type inference for Ruby (MF, Jh(A, JSF, MWH), pp. 1859–1866.
TOOLS-EUROPE-2008-NielsenE #composition #optimisation- Optimizing Dynamic Class Composition in a Statically Typed Language (ABN, EE), pp. 161–177.
PEPM-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.
Haskell-2006-Eaton #algebra #haskell #linear- Statically typed linear algebra in Haskell (FE), pp. 120–121.
- ICFP-2006-WalkerMLRA #type system #λ-calculus
- Static typing for a faulty λ calculus (DW, LWM, JL, GAR, DIA), pp. 38–49.
- ICSE-2005-CookR #execution #query
- Safe query objects: statically typed objects as remotely executable queries (WRC, SR), pp. 97–106.
- GPCE-2005-HuangZS #generative
- Statically Safe Program Generation with SafeGen (SSH, DZ, YS), pp. 309–326.
SCAM-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.
- ICFP-2003-HiguchiO #data access #type system #virtual machine
- A static type system for JVM access control (TH, AO), pp. 227–237.
DocEng-2001-Tozawa #towards #type checking- Towards static type checking for XSLT (AT), pp. 18–27.
- POPL-2000-LewisLMS #parametricity
- Implicit Parameters: Dynamic Scoping with Static Types (JRL, JL, EM, MS), pp. 108–118.
SAS-2000-GagnonHM #bytecode #java #performance- Efficient Inference of Static Types for Java Bytecode (EG, LJH, GM), pp. 199–219.
- ECOOP-1999-MillsteinC #composition #multi
- Modular Statically Typed Multimethods (TDM, CC), pp. 279–303.
- PEPM-1999-Rhiger
- Deriving a Statically Typed Type-Directed Partial Evaluator (MR), pp. 25–29.
- ECOOP-1998-BruceOW
- A Statically Safe Alternative to Virtual Types (KBB, MO, PW), pp. 523–549.
- ECOOP-1998-Guimaraes
- Reflection for Statically Typed Languages (JdOG), pp. 440–461.
- OOPSLA-1998-Litvinov #morphism #polymorphism #towards #type system
- Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System (VL), pp. 388–411.
- POPL-1998-Nishimura #type system
- Static Typing for Dynamic Messages (SN), pp. 266–278.
- OOPSLA-1996-DiwanMM #analysis #effectiveness #object-oriented #source code
- Simple and Effective Analysis of Statically Typed Object-Oriented Programs (AD, JEBM, KSM), pp. 292–305.
- POPL-1993-Bruce #object-oriented #programming language #type checking
- Safe Type Checking in a Statically-Typed Object-Oriented Programming Language (KBB), pp. 285–298.
- PLDI-1992-DiwanMH #compilation #garbage collection
- Compiler Support for Garbage Collection in a Statically Typed Language (AD, JEBM, RLH), pp. 273–282.
IWMM-1992-Chailloux #ambiguity #garbage collection- A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages (EC), pp. 218–229.
- ECOOP-1991-MugridgeHH #multi #programming language
- Multi-Methods in a Statically-Typed Programming Language (WBM, JH, JGH), pp. 307–324.
- OOPSLA-1991-AgrawalDL #multi #type checking
- Static Type Checking of Multi-Methods (RA, LGD, BGL), pp. 113–128.
- OOPSLA-1991-Ghelli #message passing #type system
- A Static Type System for Message Passing (GG), pp. 129–145.
- POPL-1991-AikenM #type inference
- Static Type Inference in a Dynamically Typed Language (AA, BRM), pp. 279–290.
- PLILP-1990-BoeckC #analysis #correctness #prolog
- Static Type Analysis of Prolog Procedures for Ensuring Correctness (PDB, BLC), pp. 222–237.
- POPL-1990-Thatte #type system
- Quasi-Static Typing (SRT), pp. 367–381.
SIGMOD-1989-OhoriBT #database #polymorphism #programming #type inference- Database Programming in Machiavelli — a Polymorphic Language with Static Type Inference (AO, PB, VT), pp. 46–57.
- OOPSLA-1989-OhoriB #parametricity #type inference
- Static Type Inference for Parametric Classes (AO, PB), pp. 445–456.
- POPL-1989-AbadiCPP #dynamic typing #type system
- Dynamic Typing in a Statically-Typed Language (MA, LC, BCP, GDP), pp. 213–227.
