Add to ORKGContains fulltext : 75839.pdf (publisher's version ) (Open Access)Ninth Symposium on Trends in Functional Programming held in The Netherlands, 26 mei 200
Generalized algebraic data types (GADTs) are a type system extension to algebraic data types that al...
In this paper we show that size functions, a class of shape descriptors, can be represented as count...
AbstractA definition is proposed for a size measure to be used as a parameter for algorithm analysis...
Contains fulltext : 72619.pdf (preprint version ) (Open Access)Draft Proceedings o...
The following full text is a preprint version which may differ from the publisher's version
Abstract. Size analysis can play an important role in optimising mem-ory management and in preventin...
Contains fulltext : 75338.pdf (preprint version ) (Open Access)10th symposium on t...
Contains fulltext : 135248.pdf (publisher's version ) (Closed access)14 p
Contains fulltext : 103399.pdf (preprint version ) (Open Access
Contains fulltext : 72620.pdf (publisher's version ) (Closed access)28 p
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulat...
Contains fulltext : 75339.pdf (publisher's version ) (Open Access)28 p
Contains fulltext : 135045.pdf (publisher's version ) (Closed access
Size analysis can be an important part of heap consumption analysis. This paper is a part of ongoing...
Contains fulltext : 36493.pdf (author's version ) (Open Access)20 p
Generalized algebraic data types (GADTs) are a type system extension to algebraic data types that al...
In this paper we show that size functions, a class of shape descriptors, can be represented as count...
AbstractA definition is proposed for a size measure to be used as a parameter for algorithm analysis...
Contains fulltext : 72619.pdf (preprint version ) (Open Access)Draft Proceedings o...
The following full text is a preprint version which may differ from the publisher's version
Abstract. Size analysis can play an important role in optimising mem-ory management and in preventin...
Contains fulltext : 75338.pdf (preprint version ) (Open Access)10th symposium on t...
Contains fulltext : 135248.pdf (publisher's version ) (Closed access)14 p
Contains fulltext : 103399.pdf (preprint version ) (Open Access
Contains fulltext : 72620.pdf (publisher's version ) (Closed access)28 p
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulat...
Contains fulltext : 75339.pdf (publisher's version ) (Open Access)28 p
Contains fulltext : 135045.pdf (publisher's version ) (Closed access
Size analysis can be an important part of heap consumption analysis. This paper is a part of ongoing...
Contains fulltext : 36493.pdf (author's version ) (Open Access)20 p
Generalized algebraic data types (GADTs) are a type system extension to algebraic data types that al...
In this paper we show that size functions, a class of shape descriptors, can be represented as count...
AbstractA definition is proposed for a size measure to be used as a parameter for algorithm analysis...