Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein: Login

Treffer: Focusing on Refinement Typing.

Title:

Focusing on Refinement Typing.

Authors:

ECONOMOU, DIMITRIOS J.¹ d.economou@queensu.ca, KRISHNASWAMI, NEEL² nk480@cl.cam.ac.uk, DUNFIELD, JANA¹ jd169@queensu.ca

Source:

ACM Transactions on Programming Languages & Systems. Dec2023, Vol. 45 Issue 4, p1-62. 62p.

Database:

Business Source Ultimate

Links