Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Makoto Takeyama
A Logical Framework With Dependently Typed Records
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Dependently Typed Programming
Progress in Informatics
Dependently Typed Haskell in Industry (Experience Report)
Proceedings of the ACM on Programming Languages
Selected Papers From Dependently Typed Programming 2010 – Overview
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Cubical Agda: A Dependently Typed Programming Language With Univalence and Higher Inductive Types
Proceedings of the ACM on Programming Languages
An Open Logical Framework
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A Logical Framework for Evolution of Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Logical Framework for Reasoning About Risk
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
CyBy2: A Strongly Typed, Purely Functional Framework for Chemical Data Management
Journal of Cheminformatics
Computer Graphics
Information Sciences
Library
Theoretical Chemistry
Computer Science Applications
Computer-Aided Design
Physical
A Logical Framework of the Evidence Function Approximation Associated With Relevance Vector Machine
Mathematical Problems in Engineering
Mathematics
Engineering
