3 search results - page 1 / 1 » Harnessing MLF with the Power of System F |
128
Voted
MFCS
2010
Springer
15 years 2 months ago
2010
Springer
We provide a strong normalization result for MLF , a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating MLF into a calc...
107
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
145
Voted
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...