Mads Tofte
发表
Lars Birkedal,
Mads Tofte,
2001,
Theor. Comput. Sci..
Mads Tofte,
1998,
ISMM '98.
Robin Milner,
Mads Tofte,
Robert Harper,
1990
.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Mads Tofte,
Lars Thorup,
M. Tofte,
1994
.
Fritz Henglein,
Mads Tofte,
Christian Mossin,
1999,
POPL '99.
Mads Tofte,
1990,
EATCS.
Martin Elsman,
Niels Hallenberg,
Lars Birkedal,
2004,
High. Order Symb. Comput..
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Mads Tofte,
1990
.
Mads Tofte,
Jean-Pierre Talpin,
M. Tofte,
1997,
Inf. Comput..
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Mads Tofte,
1990
.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Mads Tofte,
1990
.
Mads Tofte,
David B. MacQueen,
1994,
ESOP.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Mads Tofte,
1992,
POPL '92.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Lars Birkedal,
Mads Tofte,
Magnus Vejlstrup,
1996,
POPL '96.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Fritz Henglein,
Mads Tofte,
Christian Mossin,
1999,
TLCA.
Martin Elsman,
Niels Hallenberg,
Lars Birkedal,
1997
.
Mads Tofte,
1994,
J. Funct. Program..
Mads Tofte,
Jean-Pierre Talpin,
M. Tofte,
1994,
POPL '94.
Mads Tofte,
Jean-Pierre Talpin,
1993
.
Mads Tofte,
Gordon D. Plotkin,
Colin Stirling,
2010,
Bull. EATCS.
Robin Milner,
Mads Tofte,
Robert Harper,
1988
.
Mads Tofte,
M. Tofte,
1990
.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Robin Milner,
Mads Tofte,
Robert Harper,
1987
.
Robin Milner,
Mads Tofte,
Robert Harper,
1988
.
Robin Milner,
Mads Tofte,
R. Milner,
1990
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Mads Tofte,
1990
.
Mads Tofte,
1995,
SAS.
Robin Milner,
Mads Tofte,
Robert Harper,
1987
.
Lars Birkedal,
Mads Tofte,
1998,
TOPL.
Lars Birkedal,
Mads Tofte,
M. Tofte,
2000,
Proof, Language, and Interaction.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Mads Tofte,
2009,
Scholarpedia.
Mads Tofte,
1996,
Advanced Functional Programming.
Robin Milner,
Mads Tofte,
R. Milner,
1991,
Theor. Comput. Sci..
Mads Tofte,
Gordon D. Plotkin,
Colin Stirling,
2000,
Proof, Language, and Interaction.
Martin Elsman,
Niels Hallenberg,
Lars Birkedal,
1998
.
Mads Tofte,
M. Tofte,
1990,
Inf. Comput..
Mads Tofte,
1999,
MFCS.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Martin Elsman,
Niels Hallenberg,
Mads Tofte,
2002,
PLDI '02.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Simon Peyton Jones,
A. Michael Berman,
Mads Tofte,
1997,
ICFP 1997.
Robin Milner,
Mads Tofte,
Robert Harper,
1987,
TAPSOFT, Vol.2.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.