# Makoto Takeyama

According to our database

Collaborative distances:

^{1}, Makoto Takeyama authored at least 17 papers between 1995 and 2013.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2013

A new method of consensus building for open systems dependability.

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2011

Programming assurance cases in Agda.

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Towards a Language for Communication among Stakeholders.

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications.

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

2004

Verifying Haskell programs by combining testing, model checking and interactive theorem proving.

Information & Software Technology, 2004

Random Generators for Dependent Types.

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Combining Testing and Proving in Dependent Type Theory.

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

A Logical Framework with Dependently Typed Records.

Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003

Verifying Haskell Programs by Combining Testing and Proving.

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

2000

An Implementation of Type: Type.

Proceedings of the Types for Proofs and Programs, International Workshop, 2000

1999

Syntactic Control of Interference Revisited.

Theor. Comput. Sci., 1999

Bireflectivity.

Theor. Comput. Sci., 1999

1997

Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday.

Electr. Notes Theor. Comput. Sci., 1997

An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement.

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1995

Universal structure and a categorical framework for type theory.

PhD thesis, 1995

Syntactic control of interference revisited.

Electr. Notes Theor. Comput. Sci., 1995

Bireflectivity.

Electr. Notes Theor. Comput. Sci., 1995