Semantics of Data Types - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540133469, 9783540388913

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

F-semantics for intersection type discipline

Semantics of Data Types - Lecture Notes in Computer Science ◽

10.1007/3-540-13346-1_14 ◽

1984 ◽

pp. 279-300 ◽

Cited By ~ 1

Author(s):

M. Dezani-Ciancaglini ◽

I. Margaria

Download Full-text

Executable specification of static semantics

Semantics of Data Types - Lecture Notes in Computer Science ◽

10.1007/3-540-13346-1_11 ◽

1984 ◽

pp. 215-233 ◽

Cited By ~ 33

Author(s):

Thierry Despeyroux

Keyword(s):

Static Semantics ◽

Executable Specification

Download Full-text

Abstract data types and their extensions within a constructive logic

Semantics of Data Types - Lecture Notes in Computer Science ◽

10.1007/3-540-13346-1_9 ◽

1984 ◽

pp. 177-195 ◽

Cited By ~ 5

Author(s):

A. Bertoni ◽

G. Mauri ◽

P. Miclioli ◽

M. Ornaghi

Keyword(s):

Abstract Data Types ◽

Constructive Logic ◽

Data Types ◽

Abstract Data

Download Full-text

Partial implementations of abstract data types: A dissenting view on errors

Semantics of Data Types - Lecture Notes in Computer Science ◽

10.1007/3-540-13346-1_16 ◽

1984 ◽

pp. 317-336 ◽

Cited By ~ 4

Author(s):

Samuel Kamin ◽

Myla Archer

Keyword(s):

Abstract Data Types ◽

Data Types ◽

Abstract Data

Download Full-text

Deriving structural induction in LCF

Semantics of Data Types - Lecture Notes in Computer Science ◽

10.1007/3-540-13346-1_10 ◽

1984 ◽

pp. 197-214 ◽

Cited By ~ 4

Author(s):

Lawrence Paulson

Keyword(s):

Structural Induction

Download Full-text

Understanding Russell a first attempt

Semantics of Data Types - Lecture Notes in Computer Science ◽

10.1007/3-540-13346-1_3 ◽

1984 ◽

pp. 69-85 ◽

Cited By ~ 1

Author(s):

James G. Hook

Download Full-text

Towards a proof theory of parameterized specifications

Semantics of Data Types - Lecture Notes in Computer Science ◽

10.1007/3-540-13346-1_19 ◽

1984 ◽

pp. 375-391 ◽

Cited By ~ 3

Author(s):

Peter Padawitz

Keyword(s):

Proof Theory

Download Full-text

A proof system for verifying composability of abstract implementations

Semantics of Data Types - Lecture Notes in Computer Science ◽

10.1007/3-540-13346-1_18 ◽

1984 ◽

pp. 357-374 ◽

Cited By ~ 1

Author(s):

Fernando Drejas

Keyword(s):

Proof System

Download Full-text

Cartesian closed categories of enumerations for effective type structures

Semantics of Data Types - Lecture Notes in Computer Science ◽

10.1007/3-540-13346-1_12 ◽

1984 ◽

pp. 235-255 ◽

Cited By ~ 15

Author(s):

G. Longo ◽

E. Moggi

Keyword(s):

Cartesian Closed Categories ◽

Cartesian Closed

Download Full-text

Type inference and type containment

Semantics of Data Types - Lecture Notes in Computer Science ◽

10.1007/3-540-13346-1_13 ◽

1984 ◽

pp. 257-277 ◽

Cited By ~ 7

Author(s):

John Mitchell

Keyword(s):

Type Inference

Download Full-text

Semantics of Data Types - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

F-semantics for intersection type discipline

Executable specification of static semantics

Abstract data types and their extensions within a constructive logic

Partial implementations of abstract data types: A dissenting view on errors

Deriving structural induction in LCF

Understanding Russell a first attempt

Towards a proof theory of parameterized specifications

A proof system for verifying composability of abstract implementations

Cartesian closed categories of enumerations for effective type structures

Type inference and type containment

Semantics of Data Types - Lecture Notes in Computer Science
Latest Publications