AAAAAA
Results:
1-10
|
Results: 10
Authors:
Hosoya, H
Vouillon, J
Pierce, BC
Citation: H. Hosoya et al., Regular expression types for XML, ACM SIGPL N, 35(9), 2000, pp. 11-22
Authors:
Gapeyev, V
Levin, MY
Pierce, BC
Citation: V. Gapeyev et al., Recursive subtyping revealed - Functional pearl, ACM SIGPL N, 35(9), 2000, pp. 221-231
Authors:
Pierce, BC
Sangiorgi, D
Citation: Bc. Pierce et D. Sangiorgi, Behavioral equivalence in the polymorphic pi-calculus, J ACM, 47(3), 2000, pp. 531-584
Authors:
Nestmann, U
Pierce, BC
Citation: U. Nestmann et Bc. Pierce, Decoding choice encodings, INF COMPUT, 163(1), 2000, pp. 1-59
Authors:
Pierce, BC
Turner, DN
Citation: Bc. Pierce et Dn. Turner, Local type inference, ACM T PROGR, 22(1), 2000, pp. 1-44
Authors:
Pierce, BC
Turner, DN
Citation: Bc. Pierce et Dn. Turner, Pict: A programming language based on the Pi-calculus, FOUNDAT COM, 2000, pp. 455-494
Authors:
Pierce, BC
Citation: Bc. Pierce, Foundations of object-orientred languages, THEOR PR OB, 5(1), 1999, pp. 1-1
Authors:
Ito, T
Pierce, BC
Citation: T. Ito et Bc. Pierce, Untitled, INF COMPUT, 155(1-2), 1999, pp. 1-2
Authors:
Bruce, KB
Cardelli, L
Pierce, BC
Citation: Kb. Bruce et al., Comparing object encodings, INF COMPUT, 155(1-2), 1999, pp. 108-133
Authors:
Kobayashi, N
Pierce, BC
Turner, DN
Citation: N. Kobayashi et al., Linearity and the pi-calculus, ACM T PROGR, 21(5), 1999, pp. 914-947
Risultati:
1-10
|