@InProceedings{Liblit:2000:TSDDS,
  author =	 {Ben Liblit and Alexander Aiken},
  title =	 {Type Systems for Distributed Data Structures},
  crossref =	 {POPL27},
  source =
                  {\url{http://pages.cs.wisc.edu/~liblit/local-types/popl.bib}}
}

@Proceedings{POPL27,
  title =	 {Conference Record of POPL~'00: The 27th ACM
                  SIGPLAN-SIGACT Symposium on Principles of
                  Programming Languages},
  booktitle =	 {Conference Record of POPL~'00: The 27th ACM
                  SIGPLAN-SIGACT Symposium on Principles of
                  Programming Languages},
  address =	 {Boston, Massachusetts},
  month =	 {19--21 } # jan,
  year =	 2000,
  key =		 {ACM},
  c-organization ={ACM},
  source =
                  {\url{http://pages.cs.wisc.edu/~liblit/local-types/popl.bib}}
}