Makoto Takeyama

Publikationer (3)
Projekt (0)

Visar 3 publikationer

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 i proceeding

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 i proceeding

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 i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Det finns inga projekt att visa.

Det kan finnas fler projekt där Makoto Takeyama medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.