Functional declarative language design and predicate calculus: a practical approach

Publication:

2005

Journal article

Author(s)

ACM Transactions on Programming Languages and Systems

1894 since deposited on 2021-10-16

1last month

Acq. date: 2026-02-26