TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 85 records were found in 0.312 seconds
Extending Sized Type with Collection Analysis
APLAS, 396-413, 2002
A Type-Based Approach to Parallelization (preliminary report)
APLAS, 175-192, 2002
Higher-Order Polymorphic Sized Types for Safety Checks
APLAS, 117-131, 2001
Efficient Interpretation of Chart Pattern Language
APLAS, 39-48, 2001
Deriving Pre-Conditions for Array Bound Check Elimination
APLAS, 9-21, 2000
Effective Optimization of Multiple Traversals in Lazy Languages
PEPM, 119-130, 1999
Evaluation partielle paramétrable
JTASPEFT/WSA, 72-81, 1991