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

Tag #dynamic typing

20 papers:

ASEASE-2019-Lukasczyk #generative #source code #testing
Generating Tests to Analyse Dynamically-Typed Programs (SL), pp. 1226–1229.
ECOOPECOOP-2018-QunaibitBNVF #optimisation #platform #using
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization (MQ, SB, YN, SV, MF), p. 29.
HaskellHaskell-2016-PloegCB #monad #type safety #type system
The Key monad: type-safe unconstrained dynamic typing (AvdP, KC, PB), pp. 146–157.
OOPSLAOOPSLA-2016-DalozeMBM #performance #thread
Efficient and thread-safe objects for dynamically-typed languages (BD, SM, DB, HM), pp. 642–659.
ICFPICFP-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.
FLOPSFLOPS-2008-Benton #type system
Undoing Dynamic Typing (NB), pp. 224–238.
HaskellHaskell-2006-Marlow #exception
An extensible dynamically-typed hierarchy of exceptions (SM), pp. 96–106.
SCAMSCAM-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.
ICFPICFP-2002-BaarsS #type system
Typing dynamic typing (AIB, SDS), pp. 157–166.
POPLPOPL-1998-ShieldsSJ #staged #type inference #type system
Dynamic Typing as Staged Type Inference (MS, TS, SLPJ), pp. 289–302.
FPCAFPCA-1995-AikenF #type inference #type system
Dynamic Typing and Subtype Inference (AA, MF), pp. 182–191.
ICALPICALP-1994-HintermeierKK #equation #order
Dynamically-Typed Computations for Order-Sorted Equational Presentations (CH, CK, HK), pp. 450–461.
ESOPESOP-J-1992-Henglein94 #proving #syntax #type system
Dynamic Typing: Syntax and Proof Theory (FH), pp. 197–230.
ESOPESOP-1992-Henglein #type system
Dynamic Typing (FH), pp. 233–253.
ECOOPECOOP-1991-HolzleCU #object-oriented #optimisation #polymorphism
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches (UH, CC, DU), pp. 21–38.
PLDIPLDI-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.
OOPSLAOOPSLA-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.
PLDIPLDI-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.
POPLPOPL-1989-AbadiCPP #static typing #type system
Dynamic Typing in a Statically-Typed Language (MA, LC, BCP, GDP), pp. 213–227.
PLDIBest-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.

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.