00:00

Gradual Propositional Equality in Programming Languages

This research explores the application of gradual typing to enhance equational specification checking between compile time and run time. It discusses the challenges of including propositional equality in a gradual language without disrupting the metatheory, focusing on gradual run-time checks and maintaining correctness while accommodating gradual changes. The study also delves into single constructor reflexivity, transport functions for preserving witness information, and the design aspects necessary for safety and conservativeness in programming languages.

baget
Télécharger la présentation

Gradual Propositional Equality in Programming Languages

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


More Related