Publication

×

Error message

  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Deprecated function: implode(): Passing glue string after array is deprecated. Swap the parameters in drupal_get_feeds() (line 394 of /var/www/html/site-publications/includes/common.inc).
Dependent Types for Low-Level Programming.
Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, and George C. Necula
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, January 2007
@inproceedings{abc,
	author = {Jeremy Condit and Matthew Harren and Zachary R. Anderson and David Gay and George C. Necula},
	booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal},
	title = {Dependent Types for Low-Level Programming.},
	url = {http://dx.doi.org/10.1007/978-3-540-71316-6_35},
	year = {2007}
}