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

Arthur Hughes

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

2008
2EEWendy Verbruggen, Edsko de Vries, Arthur Hughes: Polytypic programming in COQ. ICFP-WGP 2008: 49-60
2006
1EEMalcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes: A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. ICTAC 2006: 123-137

Coauthor Index

1Andrew Butterfield [1]
2Joseph M. Morris [1]
3Malcolm Tyrrell [1]
4Wendy Verbruggen [2]
5Edsko de Vries [2]

Colors in the list of coauthors

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