Jun Furuse

According to our database¹, Jun Furuse authored at least 4 papers between 2001 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.

[BibT_eX]

[DOI]

New Gener. Comput., 2022

2021

Verification of a Merkle Patricia Tree Library Using F.

[BibT_eX]

[DOI]

CoRR, 2021

2003

Extensional Polymorphism by Flow Graph Dispatching.

[BibT_eX]

[DOI]

Jun Furuse

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2001

Generic Polymorphism in ML.

[BibT_eX]

Jun Furuse

Proceedings of the Journées francophones des langages applicatifs (JFLA'01), 2001

Jun Furuse

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...