Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Dependent types for JavaScript
ADsafety: Type-Based Verification of JavaScript Sandboxing
Differentiable Functional Program Interpreters
VeriML: A dependently-typed, user-extensible and language-centric approach to proof assistants
Type inclusion constraints and type inference
Haskell session types with (almost) no class
Types, bytes, and separation logic
Quotient inductive-inductive types
Functional Programming
Computational Higher Type Theory I: Abstract Cubical Realizability
Verifying higher-order programs with the dijkstra monad
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
Adding Traits to (Statically Typed) Languages
Cubical Type Theory: a constructive interpretation of the univalence axiom
A Type-Based Compiler for Standard ML
TrustJS: Trusted Client-side Execution of JavaScript
the role of type equality in meta - programming .
Typed Lua: An Optional Type System for Lua
A certified type-preserving compiler from lambda calculus to assembly language
Tagless staged interpreters for typed languages
Using JavaScript as a Real Programming Language
Using static analysis for Ajax intrusion detection
Lower Extremity Exoskeleton: Review and Challenges Surrounding the Technology and its Role in Rehabilitation of Lower Limbs
A wireless, minaturized multi-channel sEMG acquisition system for use in dynamic tasks
Rumor Identification and Belief Investigation on Twitter
Analyzing the Bitcoin Network: The First Four Years