Research Project
Grant-in-Aid for Young Scientists (B)
Dependent types are data types which ensure more precise properties of data thanordinary data types. Using dependent types, we develop a theory and applications ofdependable data structures, aiming to establish foundations of reliable computer softwares.
All 2012 2011 2010 Other
All Journal Article (9 results) (of which Peer Reviewed: 9 results) Presentation (16 results) (of which Invited: 2 results) Book (2 results) Remarks (2 results)
Springe-Verlagr
Volume: 7294 Pages: 136-150
Functional and Logic Programming
Volume: LNCS 7294 Pages: 136-150
ACM Press
Pages: 59-70
Springer-Verlag
Volume: 6604 Pages: 381-395
Generic Programming
Volume: WGP'11 Pages: 59-70
10.1145/2036918.2036927
Foundations of Software Science and Computation Structures
Volume: LNCS 6604 Pages: 381-395
Logical Methods in Computer Science
Volume: Volume 6, Issue(3:15) Pages: 1-23
Volume: 5979 Pages: 62-78
Volume: Vol.6(3:15) Pages: 1-23
http://www.cs.gunma-u.ac.jp/~hamana/