Projections for strictness analysis
Proc. of a conference on Functional programming languages and computer architecture
Information and Computation - Semantics of Data Types
A computational logic handbook
A computational logic handbook
Strictness analysis in logical form
Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Proofs by structural induction using partial evaluation
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Deriving algorithms from type inference systems: application to strictness analysis
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Lazy Type Inference for the Strictness Analysis of Lists
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
Disjunctive program analysis for algebraic data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extending sized type with collection analysis
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Automatic binding-related error diagnosis in logic programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Hi-index | 0.00 |