Makoto Takeyama

Showing 3 publications

2003

Combining testing and proving in dependent type theory

Peter Dybjer, Haiyan Qiao, Makoto Takeyama
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2758, p. 188-203
Paper in proceedings
2003

Verifying Haskell programs by combining testing and proving

Peter Dybjer, Haiyan Qiao, Makoto Takeyama
Proceedings 3rd International Conference on Quality Software, IEEE Computer Society Press, p. 272-279
Paper in proceedings
2003

A Logical Framework with Dependently Typed Records

Thierry Coquand, R. Pollack, Makoto Takeyama
Lecture Notes in Computer Science. 6th International Conference on Typed Lambda Calculi and Applications (TLCA 2003), Valencia, 10-12 June 2003. Vol. 2701, p. 105-119
Paper in proceedings

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

There are no projects.
There might be more projects where Makoto Takeyama participates, but you have to be logged in as a Chalmers employee to see them.