APA (7th ed.) Citation

Ong, C., & Ramsay, S. (2011). Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types.

Chicago Style (17th ed.) Citation

Ong, C., and S. Ramsay. Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types. 2011.

MLA (9th ed.) Citation

Ong, C., and S. Ramsay. Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types. 2011.

Warning: These citations may not always be 100% accurate.