The Typed Polymorphic Label-Selective lambda-Calculus

  title={The Typed Polymorphic Label-Selective lambda-Calculus},
  author={Jacques Garrigue and Hassan A{\"i}t-Kaci},
Formal calculi of record structures have recently been a focus of active research. However, scarcely anyone has studied formally the dual notion—i.e., argument-passing to functions by keywords, and its harmonization with currying. We have. Recently, we introduced the label-selective λ-calculus, a conservative extension of λ-calculus that uses a labeling of abstractions and applications to perform unordered currying. In other words, it enables some form of commutation between arguments. This… CONTINUE READING

From This Paper

Topics from this paper.
12 Citations
6 References
Similar Papers


Publications referenced by this paper.
Showing 1-6 of 6 references

The CAML Reference Manual, version

  • Pierre Weis
  • Projet Formel,
  • 1990
Highly Influential
4 Excerpts

Steele.Common LISP, The Language

  • L. Guy
  • 1984
Highly Influential
5 Excerpts

Syntax and confluence

  • Hassan Aı̈t-Kaci, Jacques Garrigue. Label-selective calculus
  • In Proceedings of the 13th International…
  • 1993
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…