Search Sciweavers | Sciweavers

4211 search results - page 44 / 843

» Types as Abstract Interpretations

209

click to vote

GIS
2004
ACM

178views Automated Reasoning» more GIS 2004»

An abstract model of three-dimensional spatial data types

16 years 26 days ago

Download www.cise.ufl.edu

act Model of Three-Dimensional Spatial Data Types Markus Schneider & Brian E Weinrich University of Florida Department of Computer & Information Science & Engineering G...

Markus Schneider, Brian E. Weinrich

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 4 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 »

click to vote

JACM
2007

85views more JACM 2007»

The rational numbers as an abstract data type

14 years 11 months ago

Download www-compsci.swan.ac.uk

onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...

Jan A. Bergstra, J. V. Tucker

claim paper

Read More »

click to vote

JFP
2008

85views more JFP 2008»

Applicative programming with effects

14 years 11 months ago

Download strictlypositive.org

In this paper, we introduce Applicative functors--an abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread. it i...

Conor McBride, Ross Paterson

claim paper

Read More »

158

click to vote

POPL
2005
ACM

106views Programming Languages» more POPL 2005»

A bisimulation for type abstraction and recursion

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