Jeff Egger

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2010

2 Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson: Linearly-Used Continuations in the Enriched Effect Calculus. FOSSACS 2010: 18-32

2009

1 Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson: Enriching an Effect Calculus with Linear Types. CSL 2009: 240-254

	2010
2		Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson: Linearly-Used Continuations in the Enriched Effect Calculus. FOSSACS 2010: 18-32
	2009
1		Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson: Enriching an Effect Calculus with Linear Types. CSL 2009: 240-254

Coauthor Index

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Rasmus Ejlers Møgelberg	[1] [2]
2	Alex K. Simpson (Alex Simpson)	[1] [2]