Logarithm and program testing

Kuen Bang Hou, Zhuyang Wang

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


Randomized property-based testing has gained much attention recently, but most frameworks stop short at polymorphic properties. Although Bernardy et al. have developed a theory to reduce a wide range of polymorphic properties to monomorphic ones, it relies upon ad-hoc embedding-projection pairs to massage the types into a particular form. This paper skips the embedding-projection pairs and presents a mechanical monomorphization for a general class of polymorphic functions, a step towards automatic testing for polymorphic properties. The calculation of suitable types for monomorphization turns out to be logarithm.

Original languageEnglish (US)
Article number3498696
JournalProceedings of the ACM on Programming Languages
Issue numberPOPL
StatePublished - Jan 2022

Bibliographical note

Publisher Copyright:
© 2022 Owner/Author.


  • logarithm
  • parametricity
  • polymorphism


Dive into the research topics of 'Logarithm and program testing'. Together they form a unique fingerprint.

Cite this