Temporal Type Theory

Overview of attention for book

Cover of 'Temporal Type Theory'

Table of Contents

Attention for Chapter 8: Applications

Altmetric Badge

Citations

dimensions_citation: 8 Dimensions

Summary Dimensions citations

So far, Dimensions has found 8 publications that cite this research output.

8

The most recent citing publications are shown below. View all 8 publications that cite this research output on Dimensions.

Towards a Unified Theory of Time-Varying Data

Preprint in arXiv (January 2024)

Sheaf semantics of termination-insensitive noninterference

Preprint in arXiv (April 2022)

A cost-aware logical framework

Article in Proceedings of the ACM on Programming Languages (January 2022)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.