Firenze (Florence), Italy Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy.
ACM 2001, ISBN 1-58113-388-X
- Andrew D. Gordon:
Types for Cyphers: Thwarting Mischief and Malice with Type Theory.
Last update Fri May 24 19:43:38 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page