Search Sciweavers | Sciweavers

18429 search results - page 347 / 3686

» Typing dynamic typing

156

click to vote

VLDB
1991
ACM

190views Database» more VLDB 1991»

Algebraic Properties of Bag Data Types

15 years 10 months ago

Download www.vldb.org

We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...

Joseph Albert

claim paper

Read More »

135

click to vote

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

15 years 10 months ago

Download www.eecs.berkeley.edu

Alexander Aiken, T. K. Lakshman

claim paper

Read More »

126

click to vote

LICS
1987
IEEE

80views Automated Reasoning» more LICS 1987»

Kripke-Style models for typed lambda calculus

15 years 10 months ago

Download www.disi.unige.it

John C. Mitchell, Eugenio Moggi

claim paper

Read More »

125

click to vote

CAV
2010
Springer

158views Hardware» more CAV 2010»

Dsolve: Safety Verification via Liquid Types

15 years 10 months ago

Download pho.ucsd.edu

Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala

claim paper

Read More »

141

click to vote

FSEN
2009
Springer

124views Software Engineering» more FSEN 2009»

Typing Asymmetric Client-Server Interaction

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers