A Mostly CPS, Partly ANF Translation of Dependent Types

Publication Information

Title

Japanese:
English:	A Mostly CPS, Partly ANF Translation of Dependent Types

Author

Japanese:	叢悠悠, 川添裕功, 増原英彦.
English:	Youyou Cong, Hironori Kawazoe, Hidehiko Masuhara.

Language

English

Journal/Book name

Japanese:
English:

Volume, Number, Page

Published date

Aug. 26, 2024

Publisher

Japanese:
English:

Conference name

Japanese:
English:	The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024)

Conference site

Japanese:
English:	Nijmegen