Вы здесь

Главная

SIGACT

Связанные издания:

Extensional Normalisation and Type-Directed Partial Evaluation for Typed Lambda Calculus with Sums
Formalization of Generics for the .NET Common Language Runtime
Incremental Execution of Transformation Specifications
POPL 2004: The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Semantic Types: A Fresh Look at the Ideal Model for Types
Simple Relational Correctness Proofs for Static Analyses and Program Transformations
Symbolic Transfer Function-based Approaches to Certified Compilation