
SafeDpi
 Referenced in 11 articles
[sw01989]
 incoming port. We define a sophisticated static type system for these ports, which restrict ... launched by incoming code. Dependent and existential types are used to add flexibility, allowing...

Hugs
 Referenced in 1 article
[sw21487]
 synonyms. An advanced polymorphic type system with type and constructor class overloading ... classes, extensible records, rank2 polymorphism, existentials, scoped type variables, and restricted type synonyms...

LOCKSMITH
 Referenced in 9 articles
[sw20224]
 sharing analysis for inferring thread locality; existential quantification for modeling locks in data structures ... modeling unsafe features of C such as type casts. When applied to several benchmarks, including...

foxPSL
 Referenced in 1 article
[sw13725]
 hingeloss Markov Random Fields, a type of continuous Markov Random fields (MRF) in which ... standard PSL with a class system and existential quantifiers, allowing for efficient grounding. Moreover...

INTBIS
 Referenced in 30 articles
[sw00442]
 Algorithm 681: INTBIS, a portable interval Newton/bisection package...

SQEMA
 Referenced in 31 articles
[sw03056]
 Algorithmic correspondence and completeness in modal logic. IV...

TPTP
 Referenced in 283 articles
[sw04143]
 The TPTP (Thousands of Problems for Theorem Provers...

OCaml
 Referenced in 244 articles
[sw06363]
 OCaml is the most popular variant of the...

FINDER
 Referenced in 35 articles
[sw06376]
 Finite domain enumerator. This is a finite domain...

SATCHMO
 Referenced in 71 articles
[sw06619]
 SATCHMO: a theorem prover implemented in Prolog. The...

Nuprl
 Referenced in 339 articles
[sw06751]
 The Nuprl system is a framework for reasoning...

Automath
 Referenced in 306 articles
[sw07127]
 Automath is a language designed by N.G. the...

Scala
 Referenced in 58 articles
[sw07180]
 Steps in Scala. An introduction to objectfunctional...

TituRel
 Referenced in 7 articles
[sw08501]
 TituRel is built on Haskell. It has given...

NTRUSign
 Referenced in 30 articles
[sw11764]
 NTRUSign: Digital signatures using the NTRU lattice. We...

CCPi
 Referenced in 22 articles
[sw15033]
 CCPi: A ConstraintBased Language for Specifying...

1ML
 Referenced in 3 articles
[sw19983]
 1ML  core and modules united (Fing first...