We stand with Ukraine  

Kosuke Murata

Affiliations:
  • Kyushu Institute of Technology, Kitakyushu, Japan


According to our database1, Kosuke Murata authored at least 1 paper in 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Recursion Schemes in Coq.
[BibTeX]
[DOI]
Kosuke Murata
,
Kento Emoto
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019


  Loading...