Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: A Type-Theoretic Interpretation of Standard ML
A Type-Based Compiler for Standard ML
VeriML: A dependently-typed, user-extensible and language-centric approach to proof assistants
Computational higher-dimensional type theory
A type system for higher-order modules
CoCaml: Functional Programming with Regular Coinductive Types
The design and implementation of typed scheme
Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search
A Vector Model for Type-Theoretical Semantics
A relationally parametric model of dependent type theory
Verifying haskell programs using constructive type theory
Definitional interpreters for higher-order programming languages
Efficient Self-Interpretation in Lambda Calculus
Types, bytes, and separation logic
Gradual Typing for Functional Languages
Computational lambda-calculus and monads
Programming by Examples: PL Meets ML
Internal Type Theory
Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities
Interactive programs in dependent type theory
Lambda calculus with types
An efficient global energy optimization approach for robust 3D plane segmentation of point clouds
Sequence Adversarial Training and Minimum Bayes Risk Decoding for End-to-end Neural Conversation Models
Digital creativity: Research themes and framework
Callee-save Registers in Continuation-passing Style
Genetic Algorithms as an Approach to Configuration and Topology Design