APA (7th ed.) Citation

Scholliers, C. (2024). WebPie: A Tiny Slice of Dependent Typing.

Chicago Style (17th ed.) Citation

Scholliers, Christophe. WebPie: A Tiny Slice of Dependent Typing. 2024.

MLA (9th ed.) Citation

Scholliers, Christophe. WebPie: A Tiny Slice of Dependent Typing. 2024.

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