Search Sciweavers | Sciweavers

2565 search results - page 5 / 513

» Object type constructors

click to vote

JOT
2008

107views more JOT 2008»

Adding Type Constructor Parameterization to Java

13 years 7 months ago

Download www.jot.fm

Vincent Cremet, Philippe Altherr

claim paper

Read More »

click to vote

APLAS
2007
ACM

149views Programming Languages» more APLAS 2007»

Finally Tagless, Partially Evaluated

13 years 11 months ago

Download www.cs.rutgers.edu

We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...

Jacques Carette, Oleg Kiselyov, Chung-chieh Shan

claim paper

Read More »

click to vote

ECOOP
2008
Springer

146views Programming Languages» more ECOOP 2008»

Extensible Universes for Object-Oriented Data Models

13 years 9 months ago

Download kisogawa.inf.ethz.ch

Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

click to vote

VLDB
1987
ACM

93views Database» more VLDB 1987»

FAD, a Powerful and Simple Database Language

13 years 11 months ago

Download www.vldb.org

FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...

François Bancilhon, Ted Briggs, Setrag Khos...

claim paper

Read More »

click to vote

MLQ
2002

100views more MLQ 2002»

Extensionality Versus Constructivity

13 years 7 months ago