A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈

Open Webpage

Nick Rioux, Xuejing Huang, Bruno C. d. S. Oliveira, Steve Zdancewic

Published: 01 Jan 2023, Last Modified: 13 May 2025Proc. ACM Program. Lang. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0