• ML

  • Referenced in 502 articles [sw01218]
  • known for its use of the polymorphic Hindley–Milner type system, which automatically assigns...
  • OCaml

  • Referenced in 267 articles [sw06363]
  • module system, all connected by a sound, polymorphic type system featuring type inference. The OCaml...
  • Miranda

  • Referenced in 148 articles [sw04986]
  • Miranda: A non-strict functional language with polymorphic types. The last few years have seen ... Miranda adds to this foundation (i) a polymorphic type system and (ii) a library structure...
  • LCF

  • Referenced in 157 articles [sw08360]
  • programming language underlying it and the innovative polymorphic type system used both...
  • LEGO

  • Referenced in 106 articles [sw09685]
  • system like argument synthesis and universe polymorphism make proof checking more practical by bringing...
  • TOY

  • Referenced in 55 articles [sw09812]
  • aspects of CRWL supported by TOY are: polymorphic types; HO features; equality and disequality constraints...
  • SIGNAL

  • Referenced in 51 articles [sw02915]
  • first design and implementation of a polymorphic type system and of a module system...
  • PolyTOIL

  • Referenced in 23 articles [sw14205]
  • PolyTOIL: A type-safe polymorphic object-oriented language. PolyTOIL is a new statically-typed polymorphic ... expressing the bounds on type parameters for polymorphism. The design of PolyTOIL is based...
  • Polygraph

  • Referenced in 17 articles [sw23932]
  • Polygraph: automatically generating signatures for polymorphic worms. It is widely believed that content-signature-based ... detection systems (IDS) are easily evaded by polymorphic worms, which vary their payload on every ... system that successfully produces signatures that match polymorphic worms. Polygraph generates signatures that consist ... code. We contribute a definition of the polymorphic signature generation problem; propose classes of signature...
  • Polyp

  • Referenced in 31 articles [sw09131]
  • theories of qualified types and higher-order polymorphism. The semantics of the programs...
  • ALLTYPES

  • Referenced in 20 articles [sw02307]
  • manipulated by more than one hundred polymorphic functions. Reusability of code is achieved by genericity ... system by defining new types and polymorphic functions. A language comprising seven basic language constructs...
  • WhyML

  • Referenced in 24 articles [sw09709]
  • WhyML is a first-order language with polymorphic types, pattern matching, and inductive predicates. Programs...
  • TIL

  • Referenced in 13 articles [sw22185]
  • that is based on four technologies: intensional polymorphism, tag-free garbage collection, conventional functional language ... optimization and loop optimization. We use intensional polymorphism and tag-free garbage collection to provide ... specialized representations, even though SML is a polymorphic language. We use conventional functional language optimization ... reduce the cost of intensional polymorphism, and loop optimization to generate good code for recursive...
  • DUNE-FEM

  • Referenced in 23 articles [sw03084]
  • template based generic programming techniques, including static polymorphism, the engine concept, and template metaprogramming...
  • JFlow

  • Referenced in 23 articles [sw20595]
  • previous models: a decentralized label model, label polymorphism, run-time label checking, and automatic label...
  • SHRiMP

  • Referenced in 12 articles [sw17146]
  • presence of a large amount of polymorphism. Our method is based upon a fast read ... accurately map reads to this highly polymorphic genome, while confirming high heterozygosity of C. savignyi...
  • HasCasl

  • Referenced in 17 articles [sw00399]
  • higher-order functions, higher-order subtyping, shallow polymorphism, and an extensive type-class mechanism. Moreover...
  • ALLPATHS

  • Referenced in 13 articles [sw06112]
  • retains ambiguities, such as those arising from polymorphism, uncorrected read errors, and unresolved repeats, thereby...
  • Lava

  • Referenced in 13 articles [sw28643]
  • production of real circuits.Lava also uses polymorphism and higher order functions to provide more abstract...
  • DIYABC

  • Referenced in 7 articles [sw21021]
  • inferences about population history using single nucleotide polymorphism, DNA sequence and microsatellite data. DIYABC ... history using approximate Bayesian computation on DNA polymorphism data. Version 2.0 implements a number ... allows (i) the analysis of single nucleotide polymorphism data at large number of loci, apart...