Active Bibliography

17 Semantic subtyping with an SMT solver – Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David Langworthy - 2010
1 Structural and Flow-Sensitive Types for Whiley – David J. Pearce, James Noble - 2011
10 Practical Soft Typing – Andrew K. Wright - 1994
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
38 Dynamic Typing as Staged Type Inference – Mark Shields, Tim Sheard, Simon Peyton Jones - 1998
2 A Calculus for Constraint-Based Flow Typing – David J. Pearce - 2012
41 From Polyvariant Flow Information to Intersection and Union Types – Jens Palsberg , Christina Pavlopoulou - 1998
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
97 How to Declare an Imperative – Philip Wadler - 1995
21 Modular set-based analysis from contracts – Robert Bruce Findler, Matthias Felleisen
2 Type-based Inference of Size Relationships for XML Transformations – Zhendong Su, et al.
18 Hybrid types, invariants, and refinements for imperative objects – Cormac Flanagan - 2006
7 Combining two forms of type refinements – Joshua Dunfield - 2002
21 Type Assignment for Intersections and Unions in Call-by-Value Languages – Joshua Dunfield, Frank Pfenning
1 Combining strict and soft typing in functional programming – Manfred Widera, Christoph Beierle, Fachbereich Informatik Fernuniversität Hagen - 1999
3 How to combine the benefits of strict and soft typing – Manfred Widera, Christoph Beierle - 2000
2 Sort Inference in Action Semantics – Deryck Forsyth Brown - 1996
47 A Practical Subtyping System For Erlang – Simon Marlow, Philip Wadler - 1997