Jan Midtgaard

	2012
8		Jan Midtgaard, Thomas P. Jensen: Control-flow analysis of function calls and returns by abstract interpretation. Inf. Comput. 211: 49-76 (2012)
	2011
7		Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig: Flow-sensitive type recovery in linear-log time. OOPSLA 2011: 483-498
6		Olivier Danvy, Jan Midtgaard: Abstracting abstract machines: technical perspective. Commun. ACM 54(9): 100 (2011)
	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	Michael D. Adams	[7]
2	Mads Sig Ager	[1] [2] [3]
3	Dariusz Biernacki	[1]
4	Arun Chauhan	[7]
5	Olivier Danvy	[1] [2] [3] [6]
6	R. Kent Dybvig	[7]
7	Thomas P. Jensen	[4] [5] [8]
8	Andrew W. Keep	[7]
9	Matthew Might	[7]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page