Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Emrich, Frank"'
Termination analysis of C programs is a challenging task. On the one hand, the analysis needs to be precise enough to draw meaningful conclusions. On the other hand, relevant programs in practice are large and require substantial abstraction. It is t
Externí odkaz:
http://arxiv.org/abs/2302.02382
FreezeML is a new approach to first-class polymorphic type inference that employs term annotations to control when and how polymorphic types are instantiated and generalised. It conservatively extends Hindley-Milner type inference and was first prese
Externí odkaz:
http://arxiv.org/abs/2207.09914
ML is remarkable in providing statically typed polymorphism without the programmer ever having to write any type annotations. The cost of this parsimony is that the programmer is limited to a form of polymorphism in which quantifiers can occur only a
Externí odkaz:
http://arxiv.org/abs/2004.00396
Autor:
EMRICH, FRANK1
Publikováno v:
Immobilien & Finanzierung. 1/1/2023, Vol. 74 Issue 1, p16-18. 3p.
Publikováno v:
Sports Technology; January 2008, Vol. 1 Issue: 4-5 p220-227, 8p