| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 77 |       | Val Tannen, Albert R. Meyer: Conservativity of Equational Theories in Typed Lambda Calculi. Fundam. Inform. 19(1/2): 1-49 (1993) |
| 64 | | Val Tannen, Albert R. Meyer: Polymorphism is conservative over simple types (Preliminary Report) LICS 1987: 7-17 |
| 63 |  | Val Tannen, Albert R. Meyer: Computable Values Can Be Classical. POPL 1987: 238-245 |
| 56 | | Val Breazu-Tannen, Albert R. Meyer: Lambda Calculus with Constrained Types (Extended Abstract). Logic of Programs 1985: 23-40 |
Selection of 4 from 88 records - Albert R. Meyer has 53 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