Jürgen Ammann

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1996

1 Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS 1996: 172-206

	1996
1		Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS 1996: 172-206

Coauthor Index

1	Torben Amtoft (Torben Amtoft Hansen)	[1]
2	Flemming Nielson	[1]
3	Hanne Riis Nielson	[1]