TiML: a functional language for practical complexity analysis with invariants
We present TiML (Timed ML), an ML-like functional language with time-complexity
annotations in types. It uses indexed types to express sizes of data structures and upper …
annotations in types. It uses indexed types to express sizes of data structures and upper …
[PDF][PDF] TiML: A Functional Language for Practical Complexity Analysis with Invariants
P WANG, A CHLIPALA - 2017 - people.csail.mit.edu
Authors' addresses: Peng Wang, Department of Electrical Engineering and Computer
Science, MIT CSAIL, 32 Vassar Street, Cambridge, Massachusetts, 02139, USA …
Science, MIT CSAIL, 32 Vassar Street, Cambridge, Massachusetts, 02139, USA …
TiML: a functional language for practical complexity analysis with invariants
P Wang, D Wang, A Chlipala - Proc. ACM Program. Lang., 2017 - openreview.net
We present TiML (Timed ML), an ML-like functional language with time-complexity
annotations in types. It uses indexed types to express sizes of data structures and upper …
annotations in types. It uses indexed types to express sizes of data structures and upper …
[PDF][PDF] TiML: A Functional Language for Practical Complexity Analysis with Invariants
P WANG, A CHLIPALA - 2017 - adam.chlipala.net
Authors' addresses: Peng Wang, Department of Electrical Engineering and Computer
Science, MIT CSAIL, 32 Vassar Street, Cambridge, Massachusetts, 02139, USA …
Science, MIT CSAIL, 32 Vassar Street, Cambridge, Massachusetts, 02139, USA …