• Satallax

  • Referenced in 52 articles [sw06849]
  • supported by Satallax is Church’s simple type theory with extensionality and choice operators...
  • IMPS

  • Referenced in 51 articles [sw09143]
  • based on a version of simple type theory with partial functions and subtypes. Mathematical specification...
  • Oyster

  • Referenced in 33 articles [sw19629]
  • describe an implementation of the type theory that aims to provide an environment for software ... this by describing the synthesis of a simple evaluator of arithmetic expressions in the system...
  • Ivor

  • Referenced in 3 articles [sw06343]
  • easy extending and embedding of a type theory based theorem prover in a Haskell application ... implementation of a simple functional programming language; by using type theory as a core representation...
  • Ynot

  • Referenced in 35 articles [sw12334]
  • Theory (HTT). We show how these axioms can be combined with the powerful type ... order (effectful) iterator. The implementations range from simple (e.g., association lists) to complex (e.g., hash...
  • SHELL2

  • Referenced in 8 articles [sw16623]
  • FORM for the analytic calculation of propagator-type one- and two-loop Feynman graphs with ... terms of one “master integral” and two simple integrals expressable in terms of Euler ... shell renormalization scheme, the effective field theory of static quarks and other problems...
  • OOZE

  • Referenced in 3 articles [sw09494]
  • precisely specified using theories. Abstract data types, multiple inheritance, complex objects, overloading and dynamic binding ... supported. Data types, objects, classes and modules are clearly distinguished from one another ... entire language has a precise and relatively simple semantics based on order sorted, hidden sorted...
  • Music21

  • Referenced in 4 articles [sw40525]
  • project allows musicians and researchers to write simple scripts rapidly and reuse them in other ... programmers with only modest music theory skills. This paper introduces the music21 system, demonstrating ... types of problems it is well suited toward advancing. We include numerous examples...
  • Hazelnut

  • Referenced in 2 articles [sw22659]
  • with gradual typing and contextual modal type theory, the Curry-Howard interpretation of contextual modal ... event-based functional reactive program. Our simple reference implementation is written using...
  • MARCH-INSIDE

  • Referenced in 4 articles [sw27730]
  • MARkovian CHemicals IN SIlico DEsign) is a simple but efficient computational approach to the study ... Medicinal Chemistry. The method uses the theory of Markov Chains to generate parameters that numerically ... drug targets. This approach generates two principal types of parameters Stochastic Topological Indices...
  • CALF

  • Referenced in 2 articles [sw25000]
  • types of automata have to be developed from scratch because there was no abstract theory ... obscures their correctness proofs. We introduce a simple category-theoretic formalism that provides an appropriately...
  • TELPACK

  • Referenced in 2 articles [sw08405]
  • solving M/G/1, G/M/1, or QBD type Markov chains. A simple but non-restrictive rational structure ... provide a brief review of the underlying theory with examples demonstrating the rational structure arising...
  • parest_dae

  • Referenced in 7 articles [sw09087]
  • Practiced. Chemical mechanisms for even simple reaction networks involve many highly reactive and short-lived ... complex examples. We describe the main types of difficulties that appear when trying to apply ... even most of them. By using Galois theory, we prove that the required algebraic equations...
  • DARR

  • Referenced in 1 article [sw25431]
  • important class of the nonmonotonic formalism. Using simple by powerful inference rules, called defaults, these ... thus formalize the default reasoning, a special type of nonmonotonic reasoning. In this paper ... models of the world described by default theories...
  • VMlambda

  • Referenced in 1 article [sw17460]
  • prose, and indeed found problematic both in theory and in practice. Thus, a proper definition ... simply typed call-by-value lambda-calculus. Although this extension, VMlambda, is simple and clear...
  • SymbMat

  • Referenced in 1 article [sw11187]
  • required when initial states other than the simple hydrogenic 1$s$ state need ... First Born Approximation and Distorted Wave Theory) and laser-matter interactions (within the Dipole ... gauges) using both hydrogenic wavefunctions and Slater-Type Orbitals with arbitrary $nlm$ quantum numbers...
  • edgecount

  • Referenced in 1 article [sw10233]
  • atoms. We present a simple software tool for determining the type of edge atoms ... edge atom is of armchair or zigzag type is decided by the unique pattern ... tool in combination with density-functional theory or tight-binding method can also be helpful...
  • Mungo

  • Referenced in 1 article [sw30237]
  • protocols in distributed systems. The theory of session types provides a basis for tackling this ... second tool, StMungo, takes a session type describing a communication protocol, and generates a typestate ... typecheck a client for the standard Simple Mail Transfer Protocol (SMTP...
  • QWeSST

  • Referenced in 1 article [sw14207]
  • Substructural meta-theory of a type-safe language for web programming. This paper introduces ... QWeSST and used it to elegantly write simple web applications that are however not easily...
  • ANSYS

  • Referenced in 685 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...