Publication services
→
Universitätsbibliographie
→
Browsing Universitätsbibliographie by Author

Browsing Universitätsbibliographie by Author "Giarrusso, Paolo G."

Now showing items 1-2 of 2

Optimizing and incrementalizing higher-order collection queries by AST transformation

Giarrusso, Paolo G. (2018)
System F-omega with Equirecursive Types for Datatype-Generic Programming

Cai, Yufei; Giarrusso, Paolo G.; Ostermann, Klaus (2016)

Now showing items 1-2 of 2

Report a Publication

Help

Browse

All of DSpace
This Community

My Account

Login