Tag #dynamic typing
20 papers:
ASE-2019-Lukasczyk #generative #source code #testing- Generating Tests to Analyse Dynamically-Typed Programs (SL), pp. 1226–1229.
ECOOP-2018-QunaibitBNVF #optimisation #platform #using- Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization (MQ, SB, YN, SV, MF), p. 29.
Haskell-2016-PloegCB #monad #type safety #type system- The Key monad: type-safe unconstrained dynamic typing (AvdP, KC, PB), pp. 146–157.
OOPSLA-2016-DalozeMBM #performance #thread- Efficient and thread-safe objects for dynamically-typed languages (BD, SM, DB, HM), pp. 642–659.
ICFP-2015-BuirasVR #data flow #haskell #named #type system- HLIO: mixing static and dynamic typing for information-flow control in Haskell (PB, DV, AR), pp. 289–301.
FLOPS-2008-Benton #type system- Undoing Dynamic Typing (NB), pp. 224–238.
- Haskell-2006-Marlow #exception
- An extensible dynamically-typed hierarchy of exceptions (SM), pp. 96–106.
SCAM-2003-OlmosV #compilation #static 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-2002-BaarsS #type system
- Typing dynamic typing (AIB, SDS), pp. 157–166.
POPL-1998-ShieldsSJ #staged #type inference #type system- Dynamic Typing as Staged Type Inference (MS, TS, SLPJ), pp. 289–302.
FPCA-1995-AikenF #type inference #type system- Dynamic Typing and Subtype Inference (AA, MF), pp. 182–191.
ICALP-1994-HintermeierKK #equation #order- Dynamically-Typed Computations for Order-Sorted Equational Presentations (CH, CK, HK), pp. 450–461.
ESOP-J-1992-Henglein94 #proving #syntax #type system- Dynamic Typing: Syntax and Proof Theory (FH), pp. 197–230.
- ESOP-1992-Henglein #type system
- Dynamic Typing (FH), pp. 233–253.
- ECOOP-1991-HolzleCU #object-oriented #optimisation #polymorphism
- Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches (UH, CC, DU), pp. 21–38.
PLDI-1990-ChambersU #analysis #object-oriented #optimisation #source code- Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs (CC, DU), pp. 150–164.
- OOPSLA-1989-ChambersUL #implementation #object-oriented #performance #prototype
- An Efficient Implementation of SELF — a Dynamically-Typed Object-Oriented Language Based on Prototypes (CC, DU, EL), pp. 49–70.
- PLDI-1989-ChambersU #compilation #named #object-oriented #optimisation #programming language
- Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language (CC, DU), pp. 146–160.
- POPL-1989-AbadiCPP #static typing #type system
- Dynamic Typing in a Statically-Typed Language (MA, LC, BCP, GDP), pp. 213–227.
- Best-of-PLDI-1989-ChambersU89a #compilation #object-oriented #optimisation #programming language
- A retrospective on: “customization: optimizing compiler technology for self, a dynamically-typed object-oriented programming language” (with retrospective) (CC, DU), pp. 295–312.
