Generic Polymorphism in ML. - Jun Furuse (JFLA, 2001)

Extensional Polymorphism by Flow Graph Dispatching. - Jun Furuse (APLAS, 2003)

Verification of a Merkle Patricia Tree Library Using F. - Sota Sato 002; Ryotaro Banno; Jun Furuse; Kohei Suenaga; Atsushi Igarashi (CoRR, 2021)

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. - Yuki Nishida 001; Hiromasa Saito; Ran Chen; Akira Kawata; Jun Furuse; Kohei Suenaga; Atsushi Igarashi (New Gener. Comput., 2022)