The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Makoto Takeyama: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    Random Generators for Dependent Types. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:341-355 [Conf]
  2. Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    Verifying Haskell Programs by Combining Testing and Proving. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:272-279 [Conf]
  3. Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
    An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:191-212 [Conf]
  4. Thierry Coquand, Randy Pollack, Makoto Takeyama
    A Logical Framework with Dependently Typed Records. [Citation Graph (0, 0)][DBLP]
    TLCA, 2003, pp:105-119 [Conf]
  5. Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    Combining Testing and Proving in Dependent Type Theory. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2003, pp:188-203 [Conf]
  6. Thierry Coquand, Makoto Takeyama
    An Implementation of Type: Type. [Citation Graph (0, 0)][DBLP]
    TYPES, 2000, pp:53-62 [Conf]
  7. Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
    Bireflectivity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  8. Yoshiki Kinoshita, John Power, Makoto Takeyama
    Sketches. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  9. Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
    Syntactic control of interference revisited. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  10. Thierry Coquand, Randy Pollack, Makoto Takeyama
    A Logical Framework with Dependently Typed Records. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:65, n:1-2, pp:113-134 [Journal]
  11. Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    Verifying Haskell programs by combining testing, model checking and interactive theorem proving. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2004, v:46, n:15, pp:1011-1025 [Journal]
  12. Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent
    Bireflectivity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:49-76 [Journal]
  13. Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
    Syntactic Control of Interference Revisited. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:211-252 [Journal]

Search in 0.505secs, Finished in 0.505secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002