A Dependently Typed Language with Dynamic Equality.

Mark Lemay Qiancheng Fu William Blair Cheng Zhang Hongwei Xi

Published in: TyDe@ICFP (2023)

Keyphrases

natural language
lambda calculus
higher order
programming language
dynamically changing
information retrieval
dynamic environments
information systems
specification language
english language