Type variable

In type theory and programming languages, a type variable is a mathematical variable ranging over types. Even in programming languages that allow…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

Centrifugal fan is an important component of a ventilation system in a nuclear power plant. In this paper, we proposed a…

2009

2009

Anthocyanins, a group of pink to purple water-soluble flavonoids, are well known as naturally occurring pigments credited with…

2008

This presentation introduces a formal theory for relating multi-level processes in agent-based simulations and discusses the…

2007

Object-oriented approaches to software design and implementation have gained enormous popularity over the past two decades…

2005

Fil: Mangeaud, Arnaldo. Universidad Nacional de Cordoba. Facultad de Cs.exactas Fisicas y Naturales. Departamento de Matematicas…

2003

We introdu e a handful of modules for manipulating Template Haskell datastru tures, building up to modules that allow simpli…

2000

We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with…

1999

Models of steady-state plane-parallel shock waves propagating through the unperturbed hydrogen gas of temperature T=6000K and…

1994

This paper presents techniques for specifying microprocessor instruction set syntax and semantics in the HOL theorem proving…