Search Results

Cost recurrences for DML programs

by Grobauer, Bernd
Published in Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 (2001)

Cost recurrences for DML programs

by Grobauer, Bernd
Published in Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 (2001)

A dependently typed assembly language

by Xi, Hongwei, Harper, Robert
Published in ACM SIGPLAN Notices (2001)

Cost recurrences for DML programs

by Grobauer, Bernd
Published in ACM SIGPLAN Notices (2001)

Liquid types

by Rondon, Patrick M., Kawaguci, Ming, Jhala, Ranjit
Published in ACM SIGPLAN Notices (2008)

Implementing typeful program transformations

by Chen, Chiyan, Xi, Hongwei
Published in ACM SIGPLAN Notices (2003)

Dependent types and program equivalence

by Jia, Limin, Zhao, Jianzhou, Sjöberg, Vilhelm, Weirich, Stephanie
Published in ACM SIGPLAN Notices (2010)

Dependent types and Program Equivalence

by Jia, Limin, Zhao, Jianzhou, Sjoberg, Vilhelm, Weirich, Stephanie
Published 2010