View in EDS PDF Full Text

Focusing on Refinement Typing.

Saved in:
Bibliographic Details
Title: Focusing on Refinement Typing.
Authors: ECONOMOU, DIMITRIOS J.1, d.economou@queensu.ca, KRISHNASWAMI, NEEL2, nk480@cl.cam.ac.uk, DUNFIELD, JANA1, jd169@queensu.ca
Source: ACM Transactions on Programming Languages & Systems; Dec2023, Vol. 45 Issue 4, p1-62, 62p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first