Makoto Takeyama
Visar 3 publikationer
Combining testing and proving in dependent type theory
Verifying Haskell programs by combining testing and proving
A Logical Framework with Dependently Typed Records
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: