XSnow / ECOOP2020

A Type-Directed Operational Semantics for a Calculus with a Merge Operator

7202

XSnow/ECOOP2020 Stargazers

Graydon Hoare
graydon
Anqur
anqurvanillapy
Nicolas Meinen
conilas
Alcides Fonseca
alcides
Lîm Tsú-thuàn
dannypsnl
Jinhao Tan
tjhao
Fa1sePRoMiSe
NeilKleistGao

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.