Search Sciweavers | Sciweavers

13734 search results - page 26 / 2747

» Abstractions of data types

click to vote

CORR
2004
Springer

120views Education» more CORR 2004»

Validating a Web Service Security Abstraction by Typing

14 years 11 months ago

Download research.microsoft.com

Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...

Andrew D. Gordon, Riccardo Pucella

claim paper

Read More »

click to vote

FOCS
1993
IEEE

72views Theoretical Computer Science» more FOCS 1993»

Parallel computable higher type functionals (Extended Abstract)

15 years 3 months ago

Download www.cse.unsw.edu.au

d Abstract) Peter Clote A. Ignjatovicy B. Kapronz

Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapro...

claim paper

Read More »

157

click to vote

POPL
2005
ACM

106views Programming Languages» more POPL 2005»

A bisimulation for type abstraction and recursion

16 years 2 days ago

Download www.kb.ecei.tohoku.ac.jp

traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania

Eijiro Sumii, Benjamin C. Pierce

claim paper

Read More »

161

click to vote

POPL
2001
ACM

120views Programming Languages» more POPL 2001»

Modules, abstract types, and distributed versioning

16 years 2 days ago

Download www.cl.cam.ac.uk

Peter Sewell

claim paper

Read More »

click to vote

ESOP
2007
Springer

87views Programming Languages» more ESOP 2007»

Abstract Predicates and Mutable ADTs in Hoare Type Theory

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers