Explicit effect subtyping

Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers. Explicit effect subtyping. Journal of Functional Programming, 30, 2020. [doi]

Authors

Georgios Karachalias

This author has not been identified. Look up 'Georgios Karachalias' in Google

Matija Pretnar

This author has not been identified. Look up 'Matija Pretnar' in Google

Amr Hany Saleh

This author has not been identified. Look up 'Amr Hany Saleh' in Google

Stien Vanderhallen

This author has not been identified. Look up 'Stien Vanderhallen' in Google

Tom Schrijvers

This author has not been identified. It may be one of the following persons: Look up 'Tom Schrijvers' in Google