U. Norell
发表
U. Norell,
Ulf Norell,
Ulf Norell,
2007
.
Ulf Norell,
Benjamin C. Pierce,
John Hughes,
2016,
2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
U. Norell,
Jesper Cockx,
James Chapman,
2022,
Haskell.
Ulf Norell,
Peter Dybjer,
Ana Bove,
2009,
TPHOLs.
Ulf Norell,
U. Norell,
2004
.
Ulf Norell,
Nils Anders Danielsson,
U. Norell,
2008,
IFL.
Ulf Norell,
U. Norell,
2009,
TLDI '09.
Ulf Norell,
John Hughes,
Andreas Abel,
2005,
Haskell '05.
Thierry Coquand,
Ulf Norell,
Andreas Abel,
2005,
FroCoS.