The following pages link to Partial Types and Intervals (Q3474631):
Displaying 8 items.
- A semantic measure of the execution time in linear logic (Q534698) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Safety analysis versus type inference for partial types (Q1199876) (← links)
- Efficient inference of partial types (Q1337466) (← links)
- Types et contragrédientes (Q2933706) (← links)
- Toward a semantics for the QUEST language (Q4365022) (← links)
- Semi-continuous Sized Types and Termination (Q5900207) (← links)
- Automated Deduction – CADE-19 (Q5900716) (← links)