Gradual Typing for Annotated Type Systems

No abstract is available for this paper.

• Publication year

  2014

• Venue

  Software Engineering & Management

• Publication date

  2014-04-05

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-54833-8_4
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Gradual Security Typing with References

  2013cited by this paper
• The ins and outs of gradual type inference

  2012cited by this paper
• Gradual Ownership Types

  2012cited by this paper
• Gradual typing for generics

  2011cited by this paper
• Gradual Typestate

  2011cited by this paper
• AnnaBot: A Static Verifier for Java Annotation Usage

  2010cited by this paper
• Hybrid type checking

  2010cited by this paper
• Static checking of safety critical Java annotations

  2010cited by this paper
• Well-Typed Programs Can't Be Blamed

  2009cited by this paper
• Threesomes, with and without blame

  2009cited by this paper
• Exploring the Design Space of Higher-Order Casts

  2009cited by this paper
• Gradual Typing for Objects

  2007cited by this paper
• Inference of User-Defined Type Qualifiers and Qualifier Rules

  2006cited by this paper
• Types for safe locking: Static race detection for Java

  2006cited by this paper
• Hybrid type checking

  2006cited by this paper
• Type-based analysis of uncaught exceptions

  2000cited by this paper
• Type-based race detection for Java

  2000cited by this paper
• Type-based analysis of uncaught exceptions

  1999cited by this paper
• Domain specific embedded compilers

  1999cited by this paper
• Bisimilarity as a theory of functional programming

  1999cited by this paper
• The SLam calculus: programming with secrecy and integrity

  1998cited by this paper
• Relational parametricity and units of measure

  1997cited by this paper
• Proving Congruence of Bisimulation in Functional Programming Languages

  1996cited by this paper
• Annotated type and effect systems

  1996cited by this paper
• Dimension inference under polymorphic recursion

  1995cited by this paper
• Aspect

  1995cited by this paper
• Annotated Type Systems for Program Analysis

  1995cited by this paper
• Dimension Types

  1994cited by this paper
• Dynamic Typing: Syntax and Proof Theory

  1994cited by this paper
• Refinement types for ML

  1991cited by this paper
• Lambda-calculus models of programming languages.

  1969cited by this paper
• Server Software VMM We implement the performance model of hybrid main memory by customizing the VMM component of a VMware

  year unknowncited by this paper

• Compiling Gradual Types with Evidence

  2025cites this paper
• Gradualizing the Calculus of Inductive Constructions

  2020cites this paper
• Abstracting gradual references

  2020cites this paper
• First-order Gradual Information Flow Types with Gradual Guarantees

  2020cites this paper
• Foundations of dependent interoperability

  2018cites this paper
• Type-Driven Gradual Security with References

  2018cites this paper
• P L ] 2 0 N ov 2 01 5 Deriving a Simple Gradual Security Language

  2018cites this paper
• Gradual session types

  2017cites this paper
• Gradual refinement types

  2017cites this paper
• Gradual Pluggable Typing in Java

  2016cites this paper
• Gradual type-and-effect systems

  2016cites this paper
• Gradual Refinement Types Extended Version with Proofs

  2016cites this paper
• LJGS: Gradual Security Types for Object-Oriented Languages (Artifact)

  2016cites this paper
• Customizable gradual polymorphic effects for Scala

  2015cites this paper
• 1st Summit on Advances in Programming Languages, SNAPL 2015, Asilomar, California, USA, May 3-6, 2015

  2015cites this paper
• 276 Refined Criteria for Gradual Typing 2

  2015cites this paper
• Deriving a Simple Gradual Security Language

  2015cites this paper
• Refined Criteria for Gradual Typing

  2015cites this paper
• Combining behavioural types with security analysis

  2015cites this paper
• Gradual certified programming in coq

  2015cites this paper