Edsko de Vries Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Biggar, Edsko de Vries, David Gregg: A practical solution for scripting language compilers. SAC 2009: 1916-1923
2008
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWendy Verbruggen, Edsko de Vries, Arthur Hughes: Polytypic programming in COQ. ICFP-WGP 2008: 49-60
2007
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Simplified. IFL 2007: 201-218
2006
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdsko 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 © Sat Nov 14 20:26:04 2009 by Michael Ley (ley@uni-trier.de)