Vol-1128⫷ Vol-1129 ⫸Vol-1130
urn:nbn:de:0074-1129-0


Vol-1129/paper45⫷Vol-1129/paper46⫸Vol-1129/paper47

Programming and Reasoning with Infinite Structures Using Copatterns and Sized Types