Kanae Tsushima

According to our database1, Kanae Tsushima authored at least 8 papers between 2012 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Resolving counterintuitive consequences in law using legal debugging.
Artif. Intell. Law, 2021

On semantics-based minimal revision for legal reasoning.
Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021

2020
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update.
Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019
Type debugging with counter-factual type error messages using an existing type checker.
Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2018
Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -.
CoRR, 2018

A View-based Programmable Architecture for Controlling and Integrating Decentralized Data.
CoRR, 2018

A Common Framework Using Expected Types for Several Type Debugging Approaches.
Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2012
An Embedded Type Debugger.
Proceedings of the Implementation and Application of Functional Languages, 2012


  Loading...