William E. Byrd

	2011
5		Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine: Kanor - A Declarative Language for Explicit Communication. PADL 2011: 190-204
	2010
4		Raquel L. Hill, Jalal Al-Muhtadi, William E. Byrd: An Access Control Architecture for Distributing Trust in Pervasive Computing Environments. EUC 2010: 695-702
	2008
3		Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan: Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). FLOPS 2008: 64-80
2		Joseph P. Near, William E. Byrd, Daniel P. Friedman: alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. ICLP 2008: 238-252
	2005
1		Daniel P. Friedman, William E. Byrd, Oleg Kiselyov: The reasoned schemer. MIT Press 2005: I-X, 1-169

Coauthor Index

1	Jalal Al-Muhtadi	[4]
2	Arun Chauhan	[5]
3	Daniel P. Friedman	[1] [2] [3]
4	Raquel L. Hill	[4]
5	Torsten Hoefler	[5]
6	Eric Holk	[5]
7	Oleg Kiselyov	[1] [3]
8	Andrew Lumsdaine	[5]
9	Joseph P. Near	[2]
10	Chung-chieh Shan	[3]
11	Jeremiah Willcock	[5]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page