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.

2017

We study the problem of translating from call-by-value pcf to a first-order low-level language. Such translations are typically…

2009

2009

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

2008

An observer based PWM dead time optimization approach for DC/DC-converters with synchronous rectifiers is introduced. The method…

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…