skip to main content

Explicit substitutions

Abadi, M. ; Cardelli, L. ; Curien, P.-L. ; Lévy, J.-J.

Journal of functional programming, , Vol.1 (4), p.375-416 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por

Identifique-se para postar sua resenha

Identifique-se para adicionar novas tags

Buscando em bases de dados remotas. Favor aguardar.