Higher-Order Type-Level Programming in Haskell

Proceedings of the ACM on Programming Languages
doi 10.1145/3341706
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Implementing Type Theory in Higher Order Constraint Logic Programming

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2019English

Higher-Order Chemical Programming Style

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Prototyping Generic Programming in Template Haskell

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Mechanizing Programming Logics in Higher Order Logic

1989English

Generic Programming With C++ Concepts and Haskell Type Classes—a Comparison

Journal of Functional Programming
Software
2010English

Make Things Now! Pragmatic Functional Programming in Haskell

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Scaling Database Languages to Higher-Order Distributed Programming

1995English

An EDSL Approach to High Performance Haskell Programming

2013English

A Study of Lower-Order and Higher-Order Questions at Secondary Level

Asian Social Science
ArtsFinanceHumanitiesEconomicsEconometricsSocial Sciences
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy