Partial Evaluation and Non-Interference for Object Calculi

AuthID
 P-00Z-27T
2
Author(s)
2
Editor(es)
Middeldorp,A;Sato,T
Tipo de Documento
Proceedings Paper
Year published
1999
Publicado
in Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings in Lecture Notes in Computer Science
Volume: 1722, Páginas: 53-67
Indexing
Dblp®/pt/publications/view/1018106
Publication Identifiers
DBLP: conf/flops/BartheS99
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service