dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Carolyn L. Talcott (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Biographical Citations

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


Biographical Citations

85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFurio Honsell, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 19(2-3): 167-168 (2006)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFurio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Variable Typed Logic of Effects Inf. Comput. 119(1): 55-90 (1995)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFurio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Theory of Classes for a Functional Language with Effects. CSL 1992: 309-326

Selection of 3 from 159 records - Carolyn L. Talcott has 104 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page