
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 propagatortype one and twoloop 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 CurryHoward interpretation of contextual modal ... eventbased functional reactive program. Our simple reference implementation is written using...

MARCHINSIDE
 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 categorytheoretic 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 nonrestrictive 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 shortlived ... 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 callbyvalue lambdacalculus. 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 lasermatter interactions (within the Dipole ... gauges) using both hydrogenic wavefunctions and SlaterType 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 densityfunctional theory or tightbinding 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 metatheory of a typesafe 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...