cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Operational semantics and polymorphic type inference

OOperational semantics and polymorphic type inference

Número de Cutter-SanbornT644oEntrada «Tof» → 644 · marca de obra “o”

Operational semantics and polymorphic type inference

Materias

Programming languages (Electronic computers)
Semantics

Ediciones (1)

Operational semantics and polymorphic type inference (1988)
University of Edinburgh, Dept. of Computer Science · inglés

Más obras de Mads Tofte

Tapa de The definition of standard ML

The definition of standard ML

Tapa de Proof, language, and interaction

Proof, language, and interaction

Tapa de Compiler Generators

Compiler Generators

Tapa de Compiler generators

Compiler generators

Operational semantics and polymorphic type inference — Mads Tofte | Cutter Number

FFour lectures on standard ML

Four lectures on standard ML

Ver todas las obras de Mads Tofte →