HardinMP96'

BibTeX

@inproceedings{DBLP:conf/icfp/HardinMP96,
  author    = {Th{\'e}r{\`e}se Hardin and
               Luc Maranget and
               Bruno Pagano},
  title     = {Functional Back-Ends within the Lambda-Sigma Calculus},
  booktitle = {ICFP},
  year      = {1996},
  pages     = {25-33},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}