Interpreting localized computational effects using operators of higher type (extended abstract)

by John Longley
Citations:1 - 0 self