BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
type (6)
infer (4)
subtyp (3)
multipl (2)
system (2)

Stem coercion$ (all stems)

16 papers:

Blame and coercion: together again for the first time (JGS, PT, PW), pp. 425–435.
ICFPICFP-2014-BreitnerEJW #haskell #low cost
Safe zero-cost coercions for Haskell (JB, RAE, SLPJ, SW), pp. 189–202.
LICSLICS-CSL-2014-CretinR #constraints #system f
System F with coercion constraints (JC, DR), p. 10.
FMFM-2012-HeatherS #framework #modelling
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness (JH, SS), pp. 217–231.
POPLPOPL-2012-CretinR #abstraction #on the #power of
On the power of coercion abstraction (JC, DR), pp. 361–372.
SACSAC-OOPS-J-2008-HallettLRS10 #multi #type system
Integrating coercion with subtyping and multiple dispatch (JJH, VL, SR, GLSJ), pp. 787–795.
ICFPICFP-2009-SwamyHB #formal method
A theory of typed coercions and its applications (NS, MWH, GMB), pp. 329–340.
SACSAC-2008-HallettLRS #multi #type system
Integrating coercion with subtyping and multiple dispatch (JJH, VL, SR, GLSJ), pp. 166–170.
SASSAS-2002-Faxen #analysis #representation
Representation Analysis for Coercion Placement (KFF), pp. 278–293.
PPDPPPDP-2002-Shafarenko #morphism #type inference #type system
Coercion as homomorphism: type inference in a system with subtyping and overloading (AVS), pp. 14–25.
SACSAC-1994-StansiferW #morphism #polymorphism #re-engineering
Type reconstruction for coercion polymorphism (RS, DW), pp. 420–424.
Computing with Coercions (VT, CAG, AS), pp. 44–60.
FPCAFPCA-1989-WandO #complexity #on the #type inference
On the Complexity of Type Inference with Coercion (MW, PO), pp. 293–298.
LICSLICS-1989-Breazu-TannenCGS #inheritance
Inheritance and Explicit Coercion (Preliminary Report) (VT, TC, CAG, AS), pp. 112–129.
PLDIPLDI-1987-SutorJ #interpreter #type inference
The type inference and coercion facilities in the scratchpad II interpreter (RSS, RDJ), pp. 56–63.
POPLPOPL-1984-Mitchell #type inference
Coercion and Type Inference (JCM), pp. 175–185.

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.