White Papers

Adding Type Constructor Parameterization to Java

Overview The paper presents a generalization of Java's parametric polymorphism that enables parameterization of classes and methods by type constructors, i.e., functions from types to types. They describe and motivate their extension through two examples: the definition of generic data-types with binary methods and the definition of generalized algebraic data-types. The formalization and the safety and decidability proofs are, for space reasons, only shortly described.

Download White Paper

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher
University of Wisconsin
File Format
PDF
Date Published
Feb 1, 2009
Format
White Papers
Topics
Java, Programming Languages

Similiar White Papers

Connecting to Oracle From Ruby on Rails

Connecting to Oracle From Ruby on Rails

In the Java world, there are two common types of drivers for Oracle: the pure-Java (a.k.a. thin) driver and the native O

Publisher: Oracle  |  Tags: database, java, software

Design Considerations for Using the PIM API for Java ME

Design Considerations for Using the PIM API for Java ME

Mobile handsets such as cellphones typically have an address book to keep track of people one likes to stay in touch wit

Publisher: Sun Microsystems  |  Tags: api, applications, data, java

Using Java Persistence API Within a Visual Web JSF Application

Using Java Persistence API Within a Visual Web JSF Application

Using NetBeans IDE 6.0 and the Visual Web tools, one can write applications that connect to database tables using the Ja

Publisher: Sun Microsystems  |  Tags: api, applications, data, database, java

Java Servlet & JSP Cookbook: Embedding Multimedia in JSPs

Java Servlet & JSP Cookbook: Embedding Multimedia in JSPs

Most web sites include some type of multimedia and interactive programs, such as digital videos, digital audio files, Ma

Publisher: O'Reilly Media  |  Tags: digital, java

Using XMLEncoder

Using XMLEncoder

This paper covers advanced use of XMLEncoder, showing how it can be configured to create archives of any Java objects -

Publisher: Sun Microsystems  |  Tags: java

University of Wisconsin White Papers

Using Microsoft Outlook Web Access for E-Mail and Calendar: Windows Version

Using Microsoft Outlook Web Access for E-Mail and Calendar: Windows Version

OWA Web Access (OWA) 2003 is a desktop information management program designed for individuals who require more than bas

Publisher: University of Wisconsin  |  Tags: appointments, information management, management

Use of Recurrent Neural Networks for Strategic Data Mining of Sales Information

Use of Recurrent Neural Networks for Strategic Data Mining of Sales Information

An increasing number of organizations are involved in the development of strategic information systems for effective lin

Publisher: University of Wisconsin  |  Tags: data, data mining, management, network

The Design and Performance Evaluation of Alternative XML Storage Strategies

The Design and Performance Evaluation of Alternative XML Storage Strategies

This paper studies five strategies for storing XML documents including one that leaves documents in the file system, thr

Publisher: University of Wisconsin  |  Tags: database

Biological Applications of Multi-Relational Data Mining

Biological Applications of Multi-Relational Data Mining

Biological databases contain a wide variety of data types, often with rich relational structure. Consequently multi-rela

Publisher: University of Wisconsin  |  Tags: applications, data, data mining

An Inductive Learning System for XML Documents

An Inductive Learning System for XML Documents

This paper presents a complete inductive learning system that aims to produce comprehensible theories for XML document c

Publisher: University of Wisconsin