search

mukul-rathi / bolt

Bolt is a language with in-built data-race freedom!
MIT License
564 stars 51 forks source link

Finish off subtyping judgements and tests #138

Closed mukul-rathi closed 3 years ago

mukul-rathi commented 4 years ago

see dissertation behavioural subtyping section