Makoto Takeyama

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

Coauthor Index

1	Thierry Coquand	[7] [9] [13]
2	Peter Dybjer	[8] [10] [11] [12]
3	Peter J. Freyd	[2] [5]
4	Qiao Haiyan	[8] [10] [11] [12]
5	Yoshiki Kinoshita	[3] [4]
6	Peter W. O'Hearn	[1] [2] [4] [5] [6]
7	Randy Pollack	[9] [13]
8	John Power (A. John Power)	[1] [2] [3] [4] [5] [6]
9	R. Street	[5]
10	Robert D. Tennent	[1] [2] [4] [5] [6]

Colors in the list of coauthors