Search Sciweavers | Sciweavers

13734 search results - page 27 / 2747

» Abstractions of data types

Voted

FSEN
2007
Springer

90views Software Engineering» more FSEN 2007»

Type Abstractions of Name-Passing Processes

15 years 6 months ago

Download rap.dsi.unifi.it

Lucia Acciai, Michele Boreale

claim paper

Read More »

click to vote

ADAEUROPE
2006
Springer

124views Software Engineering» more ADAEUROPE 2006»

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

15 years 5 months ago

Download www.adacore.com

Javier Miranda, Edmond Schonberg

claim paper

Read More »

click to vote

APLAS
2006
ACM

89views Programming Languages» more APLAS 2006»

Private Row Types: Abstracting the Unnamed

15 years 5 months ago

Download www.math.nagoya-u.ac.jp

Jacques Garrigue

claim paper

Read More »

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

15 years 5 months ago

Download www.stanford.edu

Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...

claim paper

Read More »

click to vote

APLAS
2005
ACM

140views Programming Languages» more APLAS 2005»

A Typed, Compositional Logic for a Stack-Based Abstract Machine

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers