Edsko de Vries

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j2		Paul Biggar, Edsko de Vries, David Gregg: A practical solution for achieving language compatibility in scripting language compilers. Sci. Comput. Program. 77(9): 971-989 (2012)
	2011
c8		Edsko de Vries, Vasileios Koutavas: Reverse Hoare Logic. SEFM 2011: 155-171
	2010
j1		Wendy Verbruggen, Edsko de Vries, Arthur Hughes: Formal polytypic programs and proofs. J. Funct. Program. 20(3-4): 213-269 (2010)
c7		Edsko de Vries, Vasileios Koutavas, Matthew Hennessy: Liveness of Communicating Transactions (Extended Abstract). APLAS 2010: 392-407
c6		Edsko de Vries, Vasileios Koutavas, Matthew Hennessy: Communicating Transactions - (Extended Abstract). CONCUR 2010: 569-583
	2009
c5		Paul Biggar, Edsko de Vries, David Gregg: A practical solution for scripting language compilers. SAC 2009: 1916-1923
c4		Edsko de Vries, Adrian Francalanza, Matthew Hennessy: Uniqueness Typing for Resource Management in Message-Passing Concurrency. LINEARITY 2009: 26-37
	2008
c3		Wendy Verbruggen, Edsko de Vries, Arthur Hughes: Polytypic programming in COQ. ICFP-WGP 2008: 49-60
	2007
c2		Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Simplified. IFL 2007: 201-218
	2006
c1		Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Redefined. IFL 2006: 181-198

Coauthor Index

1	David M. Abrahamson	[c2] [c1]
2	Paul Biggar	[j2] [c5]
3	Adrian Francalanza	[c4]
4	David Gregg	[j2] [c5]
5	Matthew Hennessy	[c7] [c6] [c4]
6	Arthur Hughes	[j1] [c3]
7	Vasileios Koutavas	[c8] [c7] [c6]
8	Marinus J. Plasmeijer (Rinus Plasmeijer)	[c2] [c1]
9	Wendy Verbruggen	[j1] [c3]

Last update Sat May 18 21:31:05 2013 CET by the DBLP Team —

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