NDLI: Type dispatch for named hierarchical types

Please wait, while we are loading the content...

When is a functional program not a functional program?

Modern languages for modern parallel computing (invited lecture, abstract only)

Monadic encapsulation in ML

You can design microprocessors too (invited lecture, abstract only): putting TRS's to work

Objects, classes and modules in Objective Caml (invited lecture, abstract only)

Trampolined style

From fast exponentiation to square matrices: an adventure in types

Tracing piece by piece: affordable debugging for lazy functional languages

Atomic heap transactions and fine-grain interrupts

On embedding a microarchitectural design language within Haskell

Recursion and dynamic data-structures in bounded space: towards embedded ML programming

A simple proof technique for certain parametricity results

Relating typability and expressiveness in finite-rank intersection type systems (extended abstract)

Type fixpoints: iteration vs. recursion

Calling hell from heaven and heaven from hell

Interlanguage working without tears: blending SML with Java

Programming languages as operating systems (or revenge of the son of the lisp machine)

Haskell and XML: generic combinators or type-based translation?

Type inference with rank 1 polymorphism for type-directed compilation of ML

Type dispatch for named hierarchical types

Representing Java classes in a typed intermediate language

Principals in programming languages: a syntactic proof technique

Static interpretation of modules

Transparent modules with fully syntatic signatures

Flexible type analysis

Typer inference builds a short cut to deforestation

Verification of Erlang programs using abstract interpretation and model checking

Specialization of inductively sequential functional logic programs

Type dispatch for named hierarchical types

Content Provider	ACM Digital Library
Author	Glew, Neal
Abstract	Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression and a try statement for switching on an exception's class. Crucial to these mechanisms, in typed languages, is type refinement: The static type system will use type dispatch to refine types in successful branches. Considerable previous work has addressed type case constructs for structural type systems without subtyping, but these do not extend to named type systems with subtyping, as is common in object oriented languages. Previous work on type dispatch in named type systems with subtyping has not addressed its implementation formally.This paper describes a number of type dispatch constructs that share a common theme: class cast and class case constructs in object oriented languages, ML style exceptions, hierarchical extensible sums, and multimethods. I describe a unifying mechanism, tagging, that abstracts the operation of these constructs, and I formalise a small tagging language. After discussing how to implement the tagging language, I present a typed language without type dispatch primitives, and a give a formal translation from the tagging language.
Starting Page	172
Ending Page	182
Page Count	11
File Format	PDF
ISBN	1581131119
DOI	10.1145/317636.317797
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1999-09-01
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Type Dispatch for Named Hierarchical Types (1999)

Type Dispatch for Named Hierarchical Types (1999)

Type dispatch for named hierarchical types

Abstract Type Dispatch for Named Hierarchical Types ∗

Type dispatch for named hierarchical types (1999)

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance

Named entities as privileged information for hierarchical text clustering

Answer ranking based on named entity types for question answering

Mobility Types for Mobile Ambients (1999)

Type dispatch for named hierarchical types

Similar Documents

Type Dispatch for Named Hierarchical Types (1999)

Type Dispatch for Named Hierarchical Types (1999)

Type dispatch for named hierarchical types

Abstract Type Dispatch for Named Hierarchical Types ∗

Type dispatch for named hierarchical types (1999)

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance

Named entities as privileged information for hierarchical text clustering

Answer ranking based on named entity types for question answering

Mobility Types for Mobile Ambients (1999)

Type dispatch for named hierarchical types