Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Computational higher-dimensional type theory
Computational Higher Type Theory I: Abstract Cubical Realizability
Example-directed synthesis: a type-theoretic interpretation
A model of type theory in cubical sets
A relationally parametric model of dependent type theory
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation
Programming and reasoning with algebraic effects and dependent types
Type inference, Haskell and dependent types
Internal Type Theory
Lambda calculus with types
Simple Type-Theoretic Foundations for Object-Oriented Programming
Dependently typed programming in Agda
A Typed Lambda Calculus of Objects
Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search
Higher-order automated theorem proving
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant
Quotient inductive-inductive types
Extensional Higher-Order Logic Programming
CoCaml: Functional Programming with Regular Coinductive Types
Types, bytes, and separation logic
The design and implementation of typed scheme
Improving deep learning performance using random forest HTM cortical learning algorithm
Cubical Type Theory: a constructive interpretation of the univalence axiom
Integrating computational and creative thinking to improve learning and performance in CS1
Evaluating the quality of educational answers in community question-answering
Design and Methods Second Edition