ACNP - Italian Periodicals Catalogue

AAAAAA

ITA
ENG

Results: 1-8 |

Results: 8

Authors: Blelloch, G Burch, H Crary, K Harper, R Miller, G Walkington, N

Citation: G. Blelloch et al., Persistent triangulations, J FUNCT PRO, 11, 2001, pp. 441-466

Authors: Crary, K

Citation: K. Crary, Typed compilation of inclusive subtyping, ACM SIGPL N, 35(9), 2000, pp. 68-81

Authors: Walker, D Crary, K Morrisett, G

Citation: D. Walker et al., Typed memory management via static capabilities, ACM T PROGR, 22(4), 2000, pp. 701-771

Authors: Crary, K

Citation: K. Crary, A simple proof technique for certain parametricity results, ACM SIGPL N, 34(9), 1999, pp. 82-89

Authors: Crary, K Weirich, S

Citation: K. Crary et S. Weirich, Flexible type analysis, ACM SIGPL N, 34(9), 1999, pp. 233-248

Authors: Crary, K Harper, R Puri, S

Citation: K. Crary et al., What is a recursive module?, ACM SIGPL N, 34(5), 1999, pp. 50-63

Authors: Crary, K Weirich, S Morrisett, G

Citation: K. Crary et al., Intensional polymorphism in type-erasure semantics, ACM SIGPL N, 34(1), 1999, pp. 301-312

Authors: Morrisett, G Walker, D Crary, K Glew, N

Citation: G. Morrisett et al., From system F to typed assembly language, ACM T PROGR, 21(3), 1999, pp. 527-568

Risultati: 1-8 |