Skip to main content

Coronavirus (COVID-19) Updates | More Information

  • Library
  • Giving
  • Directories
  • Events
  • Directions
  • information for...
    • Current Students
    • Faculty and Staff
    • Parents and Families
    • Undergraduate Admissions
    • Graduate Admissions
Home
  • About
  • Academics
  • Admissions
  • Financial Aid
  • Student Life
  • Alumnae/i

You are here

  1. Home ›
  2. Bryn Mawr College News and Headlines ›
  3. Faculty Publication: Assistant Professor of Computer Science Richard Eisenberg

News

  • Bryn Mawr in the Media
  • Faculty Publications
  • Alumnae/i News
  • Athletics News
  • Mawrter Made Media
  • Events
  • Announcements
  • Class of 2020 Student Profiles

Faculty Publication: Assistant Professor of Computer Science Richard Eisenberg

Posted October 23rd, 2017 at 4:26 pm

Constrained Type Families

Authors: Morris, J. Garrett, Eisenberg, Richard A.

Publication Type: Journal Article

Source: Proc. ACM Program. Lang. 1, ICFP, Article 42 (September 2017), https://doi.org/10.1145/3110286

Abstract: We present an approach to support partiality in type-level computation without compromising expressiveness or type safety. Existing frameworks for type-level computation either require totality or implicitly assume it. For example, type families in Haskell provide a powerful, modular means of defining type-level computation. However, their current design implicitly assumes that type families are total, introducing nonsensical types and significantly complicating the metatheory of type families and their extensions. We propose an alternative design, using qualified types to pair type-level computations with predicates that capture their domains. Our approach naturally captures the intuitive partiality of type families, simplifying their metatheory. As evidence, we present the first complete proof of consistency for a language with closed type families.

Department of Computer Science

Related Stories

New Faculty: Christian Murphy, Senior Lecturer and Program Coordinator, Department of Computer Science
New Faculty: Assistant Professor of Computer Science Aline Normoyle
Summer Internship: Millicent Auma '21, Morgan Stanley
  • Twitter
  • LinkedIn
  • Facebook
  • Youtube
  • Instagram
  • About
  • Academics
  • Admissions
  • Financial Aid
  • Student Life
  • Alumnae/i
  • Library
  • Giving
  • Directories
  • Events
  • Directions
  • Jobs

Report a website issue

Web Accessibility Policy

Privacy Policy

Bryn Mawr College 101 North Merion Ave Bryn Mawr, PA 19010-2899
(610) 526-5000

Copyright © 2021

Give Now