SystemF icon indicating copy to clipboard operation
SystemF copied to clipboard

Published 20 hours ago • verified publisher icon tsung-ju
→

Metadata

An Agda formalization of System F and the Brown-Palsberg self-interpreter

SystemF

An Agda formalization of System F and the Brown-Palsberg self-interpreter

← Metadata

22
Stars
1
Forks
Watchers

Owner

verified publisher icon tsung-ju

Metadata

An Agda formalization of System F and the Brown-Palsberg self-interpreter

Back