Search Sciweavers | Sciweavers

13734 search results - page 26 / 2747

» Abstractions of data types

119

Voted

CORR
2004
Springer

120views Education» more CORR 2004»

Validating a Web Service Security Abstraction by Typing

15 years 3 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 »

106

click to vote

FOCS
1993
IEEE

72views Theoretical Computer Science» more FOCS 1993»

Parallel computable higher type functionals (Extended Abstract)

15 years 8 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 »

210

click to vote

POPL
2005
ACM

106views Programming Languages» more POPL 2005»

A bisimulation for type abstraction and recursion

16 years 4 months 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 »

202

click to vote

POPL
2001
ACM

120views Programming Languages» more POPL 2001»

Modules, abstract types, and distributed versioning

16 years 4 months 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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers