dblp.uni-trier.dewww.uni-trier.de

Edsko de Vries

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
4EEPaul Biggar, Edsko de Vries, David Gregg: A practical solution for scripting language compilers. SAC 2009: 1916-1923
2008
3EEWendy Verbruggen, Edsko de Vries, Arthur Hughes: Polytypic programming in COQ. ICFP-WGP 2008: 49-60
2007
2EEEdsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Simplified. IFL 2007: 201-218
2006
1EEEdsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Redefined. IFL 2006: 181-198

Coauthor Index

1David M. Abrahamson [1] [2]
2Paul Biggar [4]
3David Gregg [4]
4Arthur Hughes [3]
5Marinus J. Plasmeijer (Rinus Plasmeijer) [1] [2]
6Wendy Verbruggen [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)