Add to ORKGProceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation75-8
PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulatio...
10.1145/1244381.1244406Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-...
Contains fulltext : 75339.pdf (publisher's version ) (Open Access)28 p
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulat...
10.1145/1111542.1111555Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-...
Contains fulltext : 72619.pdf (preprint version ) (Open Access)Draft Proceedings o...
10.1145/1328408.1328432Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-...
Post hoc pairwise comparisons of manyglm analyses, between size-class categories.</p
As a satellite meeting of the TAPSOFT'95 conference we organized a small workshop on program analysi...
Sized types are a modular and theoretically well-understood tool for checking termination of recur-s...
International audienceCollections are omnipresent within models: collections of references can repre...
Some type-based approaches to termination use sized types: an ordinal boundfor the size of a data st...
This paper introduces a new methodology for the complexity analysis of higher-order functional progr...
This paper introduces a new methodology for the complexity analysis of higher-order functional progr...
Contains fulltext : 75338.pdf (preprint version ) (Open Access)10th symposium on t...
PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulatio...
10.1145/1244381.1244406Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-...
Contains fulltext : 75339.pdf (publisher's version ) (Open Access)28 p
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulat...
10.1145/1111542.1111555Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-...
Contains fulltext : 72619.pdf (preprint version ) (Open Access)Draft Proceedings o...
10.1145/1328408.1328432Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-...
Post hoc pairwise comparisons of manyglm analyses, between size-class categories.</p
As a satellite meeting of the TAPSOFT'95 conference we organized a small workshop on program analysi...
Sized types are a modular and theoretically well-understood tool for checking termination of recur-s...
International audienceCollections are omnipresent within models: collections of references can repre...
Some type-based approaches to termination use sized types: an ordinal boundfor the size of a data st...
This paper introduces a new methodology for the complexity analysis of higher-order functional progr...
This paper introduces a new methodology for the complexity analysis of higher-order functional progr...
Contains fulltext : 75338.pdf (preprint version ) (Open Access)10th symposium on t...
PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulatio...
10.1145/1244381.1244406Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-...
Contains fulltext : 75339.pdf (publisher's version ) (Open Access)28 p