Multi-polymorphic programming in bondi

Authors:
Thomas Given-Wilson;Freeman Huang;Barry Jay
Affiliations:
National ICT Australia (NICTA), Sydney, Australia;Queen's University, Kingston, Canada;University of Technology Sydney, Sydney, Australia
Venue:
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming
Year:
2013

Citing 15
Cited 0

Proofs and types

Proofs and types
Type inference with polymorphic recursion

ACM Transactions on Programming Languages and Systems (TOPLAS)
A new approach to generic functional programming

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Definition of Standard ML

The Definition of Standard ML
Scrap your boilerplate: a practical design pattern for generic programming

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
The Essence of the Visitor Pattern

COMPSAC '98 Proceedings of the 22nd International Computer Software and Applications Conference
C# Language Specification

C# Language Specification
The pattern calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Programming with heterogeneous structures: manipulating XML data using bondi

ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Scrap your boilerplate with XPath-like combinators

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type-safe computation with heterogeneous data

Type-safe computation with heterogeneous data
First-class patterns

Journal of Functional Programming
Pattern Calculus: Computing with Functions and Structures

Pattern Calculus: Computing with Functions and Structures
Typed self-interpretation by pattern matching

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The bondi programming language is multi-polymorphic, in that it supports four polymorphic programming styles within a small core of computation, namely a typed pattern calculus. bondi's expressive power is illustrated by considering the problem of assigning reviewers to a paper. As the context generalises from a committee to a committee with additional reviewers, to a conference, to a federation or confederation, the solution incorporates polymorphism familiar from the functional, generic functional, relational, path-based, and object-oriented programming styles, respectively. These experiments show that multi-polymorphic programming is both practical and desirable.