Carolyn L. Talcott (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

85 Furio Honsell, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 19(2-3): 167-168 (2006)

22 Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Variable Typed Logic of Effects Inf. Comput. 119(1): 55-90 (1995)

16 Furio 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 Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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