Let arguments go first

DOI10.1007/978-3-319-89884-1_10zbMath1418.68070OpenAlexW2796492787MaRDI QIDQ2323977

Bruno C. d. S. Oliveira, Ningning Xie

Publication date: 13 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_10

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Applicative intersection types

Uses Software

• Unnamed Item

This page was built for publication: Let arguments go first