Add to ORKGContains fulltext : 107653.pdf (author's version ) (Open Access
Contains fulltext : 75885.pdf (author's version ) (Open Access)36 p
AbstractWe define a novel inference system for strictness and totality analysis for the simply-typed...
Contains fulltext : 76010.pdf (preprint version ) (Open Access)70 p
Contains fulltext : 36368.pdf (publisher's version ) (Open Access
Contains fulltext : 60435.pdf (preprint version ) (Open Access), 16th Internationa...
Contains fulltext : 35481.pdf (preprint version ) (Open Access
Abstract. Explicitly enforcing strictness is often used by functional pro-grammers as an important t...
Contains fulltext : 149047.pdf (author's version ) (Open Access
Contains fulltext : 36506.pdf (preprint version ) (Open Access
Contains fulltext : 36369.pdf (author's version ) (Open Access
We define a novel inference system for strictness and totality analysis for the simply-typed lazy la...
Contains fulltext : 141327.pdf (preprint version ) (Open Access
We definea novel inference system for strictness and totality analysis for the simply-typed lazy lam...
AbstractAbstract interpretation is a compile-time technique which is used to gain information about ...
Contains fulltext : 103855.pdf (author's version ) (Closed access
Contains fulltext : 75885.pdf (author's version ) (Open Access)36 p
AbstractWe define a novel inference system for strictness and totality analysis for the simply-typed...
Contains fulltext : 76010.pdf (preprint version ) (Open Access)70 p
Contains fulltext : 36368.pdf (publisher's version ) (Open Access
Contains fulltext : 60435.pdf (preprint version ) (Open Access), 16th Internationa...
Contains fulltext : 35481.pdf (preprint version ) (Open Access
Abstract. Explicitly enforcing strictness is often used by functional pro-grammers as an important t...
Contains fulltext : 149047.pdf (author's version ) (Open Access
Contains fulltext : 36506.pdf (preprint version ) (Open Access
Contains fulltext : 36369.pdf (author's version ) (Open Access
We define a novel inference system for strictness and totality analysis for the simply-typed lazy la...
Contains fulltext : 141327.pdf (preprint version ) (Open Access
We definea novel inference system for strictness and totality analysis for the simply-typed lazy lam...
AbstractAbstract interpretation is a compile-time technique which is used to gain information about ...
Contains fulltext : 103855.pdf (author's version ) (Closed access
Contains fulltext : 75885.pdf (author's version ) (Open Access)36 p
AbstractWe define a novel inference system for strictness and totality analysis for the simply-typed...
Contains fulltext : 76010.pdf (preprint version ) (Open Access)70 p