Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Safe & Efficient Gradual Typing for TypeScript
Towards a type system for analyzing javascript programs
Phantom Types and Subtyping
First-class Polymorphism with Type Inference
A type system for higher-order modules
A framework for implementing pluggable type systems
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript
Dependent types in practical programming
Adding Traits to (Statically Typed) Languages
The design and implementation of typed scheme
A Typed Lambda Calculus of Objects
Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm
Equality proofs and deferred type errors: a compiler pearl
Example-directed synthesis: a type-theoretic interpretation
Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory
Foundations for structured programming with GADTs
Approaches and Tools for Implementing Type Systems in Xtext
TypeSan: Practical Type Confusion Detection
Extending Basic Block Versioning with Typed Object Shapes
A seamless, client-centric programming model for type safe web applications
ADsafety: Type-Based Verification of JavaScript Sandboxing
Latent dirichlet allocation in web spam filtering
Automatic Conversion of Road Networks from OpenDRIVE to Lanelets
ADsafety: Type-Based Verification of JavaScript Sandboxing
UAV Autopilot Integration and Testing
Data quality assessment: The Hybrid Approach