M. Tofte
发表
David B. MacQueen,
R. Milner,
R. Harper,
1997
.
G. Plotkin,
M. Tofte,
C. Stirling,
2000
.
Robin Milner,
Mads Tofte,
Robert Harper,
1990
.
M. Tofte,
1988
.
Robin Milner,
Mads Tofte,
R. Milner,
1990
.
Mads Tofte,
M. Tofte,
1990,
Inf. Comput..
Mads Tofte,
Jean-Pierre Talpin,
M. Tofte,
1994,
POPL '94.
G. Plotkin,
M. Tofte,
C. Stirling,
2000
.
M. Tofte,
J. Talpin,
1994
.
M. Tofte,
1997
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
M. Tofte,
C. Stirling,
2010
.
Robin Milner,
Mads Tofte,
Robert Harper,
1988
.
Robin Milner,
Mads Tofte,
Robert Harper,
1987
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Mads Tofte,
Jean-Pierre Talpin,
M. Tofte,
1997,
Inf. Comput..
Mads Tofte,
Lars Thorup,
M. Tofte,
1994
.
Robin Milner,
Mads Tofte,
R. Milner,
1991,
Theor. Comput. Sci..
Lars Birkedal,
Mads Tofte,
M. Tofte,
2000,
Proof, Language, and Interaction.
Martin Elsman,
Niels Hallenberg,
Lars Birkedal,
2004,
High. Order Symb. Comput..
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Mads Tofte,
M. Tofte,
1990
.
Martin Elsman,
Niels Hallenberg,
Mads Tofte,
2002,
PLDI '02.
Lars Birkedal,
Mads Tofte,
Magnus Vejlstrup,
1996,
POPL '96.
Robin Milner,
Mads Tofte,
Robert Harper,
1988
.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.