Mikkel Nygaard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2002–2003
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | CONCUR | Full Abstraction for HOPLA. | Mikkel Nygaard, Glynn Winskel |
| 2002 | CONCUR | HOPLA-A Higher-Order Process Language. | Mikkel Nygaard, Glynn Winskel |
| 2002 | LICS | Linearity in Process Languages. | Mikkel Nygaard, Glynn Winskel |