Generic zero-cost reuse for dependent types

Abstract

Dependently typed languages are well known for having a problem with code reuse. Traditional non-indexed algebraic datatypes (e.g. lists) appear alongside a plethora of indexed variations (e.g. vectors). Functions are often rewritten for both non-indexed and indexed versions of essentially the same datatype, which is a source of code duplication.

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 30, 2018
Source ID
10.1145/3236799

Entities

People

  • Aaron Stump
  • Denis Firsov
  • Larry Diehl

Organizations

  • National Science Foundation
  • United States Department of Defense
  • University of Iowa

Tags

Readers

  • Database Systems and Applications
  • Library and Information Science/ Studies, Southeast Asia Studies, Bibliography of Vietnam and Lao Studies.
  • Regression Analysis.