Results 11 to 20 of about 139,845,986 (286)
Type Reconstruction for Type Classes [PDF]
Journal of Functional Programming, 1995 Abstract We study the type inference problem for a system with type classes as in the functional programming language Haskell. Type classes are an extension of ML-style polymorphism with overloading. We generalize Milner's work on polymorphism by introducing a separate context constraining the type variables in a typing judgement ...
Tobias Nipkow, Christian Prehofer
openaire +3 more sources
Rare A-Type, New Spiro-Type, and Highly Oligomeric Proanthocyanidins from Pinus massoniana [PDF]
, 2020 Isolation of underivatized PACs led to three new, structurally unique PACs (1-3) from pine bark. Pinutwindoublin (1) is the first known trimer with double A-type interflavanyl linkages (2α→O→5,4α→6 and 2α→O→7,4α). Pinuspirotetrin (2) represents the first
Shao-Nong, Chen +6 more
core +1 more source
Science of Computer Programming, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ralf Hinze, Johan Jeuring, Andres Löh
openaire +8 more sources
Type inference with constrained types
Theory and Practice of Object Systems, 1999 In this paper we present a general framework HM(X) for Hindley/Milner style type systems with constraints, analogous to the CLP(X) framework in constrained logic programming. We show that the type system is sound with respect to a standard untyped compositional semantics. We present sufficient conditions on the constraint domain X so that the principal
Odersky, Martin +2 more
openaire +4 more sources
Theoretical Computer Science, 2009 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Caires, Luis, Torres Vieira, Hugo
openaire +4 more sources
Uniqueness typing for intersection types
CoRR, 2021 Superseded by arXiv:1809 ...
Statman, Richard, Polonsky, Andrew
openaire +3 more sources
Use of botulinum toxin for the treatment of keloid scars: scoping review [PDF]
Revista Brasileira de Cirurgia PlásticaIntroduction: Visible scars can cause problems, whether aesthetic, psychological, functional, or social, mainly of great extension and volume, such as keloids.
Eduardo Lafayette Monteiro +2 more
doaj +1 more source
Agromyces arachidis sp. nov. Isolated from a Peanut (Arachis hypogaea) Crop Field
International Journal of Microbiology, 2013 A Gram-positive, yellowish bacterium strain AK-1T was isolated from soil sample collected from peanut (Arachis hypogaea) crop field and studied by using a polyphasic approach.
Chandandeep Kaur +4 more
doaj +1 more source
The basics of development of support reactions in an early ontogenesis
Науковий Вісник Південноукраїнського Національного Педагогічного Університету імені К. Д. Ушинського, 2020 On account of the current situation of total deterioration in the children’s health in Ukraine, a special focus is to be paid to the issues related to the children who suffer from the disorders of the musculoskeletal system, where the verticalisation of ...
Biesieda Volodymyr, Marchuk Vitaliy
doaj +1 more source