Zobrazeno 1 - 10
of 18
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
Autor:
Marion Müller, Christian Steuerwald
Die Kategorien »gender«, »race« und »disability« haben im Sport eine besondere Bedeutung. So gibt es vermutlich in keinem anderen Bereich der modernen Gesellschaft eine so selbstverständliche und legitim erscheinende Segregation nach Geschlech
Autor:
Idesbald Goddeeris
The Polish crisis in the early 1980s provoked a great deal of reaction in the West. Not only governments, but social movements were also touched by the establishment of the Iindependent Trade Union Solidarnosc in the summer of 1980, the proclamation
Autor:
Stephen Trimble
Beginning with an Olympic ski race in northern Utah, this heartfelt book from award-winning writer and photographer Stephen Trimble takes a penetrating look at the battles raging over the land—and the soul—of the American West. Bargaining for Ede
Autor:
Isabelle Queval
L'objet de cet ouvrage est d'explorer ce qui mène du'souci de soi', tel que défini par l'Antiquité grecque, au'corps augmenté', dont le sport de haut niveau propose aujourd'hui une version expérimentale. Ce trajet n'est pas seulement un reflet h
Autor:
Axel Legay, Tiziana Margaria
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of