Jan Midtgaard

	2009
5		Jan Midtgaard, Thomas P. Jensen: Control-flow analysis of function calls and returns by abstract interpretation. ICFP 2009: 287-298
	2008
4		Jan Midtgaard, Thomas P. Jensen: A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. SAS 2008: 347-362
	2005
3		Mads Sig Ager, Olivier Danvy, Jan Midtgaard: A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. Theor. Comput. Sci. 342(1): 149-172 (2005)
	2004
2		Mads Sig Ager, Olivier Danvy, Jan Midtgaard: A functional correspondence between call-by-need evaluators and lazy abstract machines. Inf. Process. Lett. 90(5): 223-232 (2004)
	2003
1		Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard: A functional correspondence between evaluators and abstract machines. PPDP 2003: 8-19

Coauthor Index

1	Mads Sig Ager	[1] [2] [3]
2	Dariusz Biernacki	[1]
3	Olivier Danvy	[1] [2] [3]
4	Thomas P. Jensen	[4] [5]

Colors in the list of coauthors