Author Search Results

Select result number 1
1

Explicit Refinement Types

by Ghalayini, Jad Elkhaleq, Krishnaswami, Neel
Published in Proceedings of the ACM on Programming Languages (2023)

Get access
Get access

Article in Journal/Newspaper
Select result number 2
2

Explicit Refinement Types ...

by Ghalayini, Jad Elkhaleq, Krishnaswami, Neel
Published 2023

Get access
Get access

Text
Select result number 3
3

Explicit Refinement Types

by Ghalayini, Jad Elkhaleq, Krishnaswami, Neel
Published in Proceedings of the ACM on Programming Languages (2023)

Get access
Get access

Text