Functional declarative language design and predicate calculus: a practical approach

Publication:

2005

Journal article

Author(s)

ACM Transactions on Programming Languages and Systems

1892 since deposited on 2021-10-16

Acq. date: 2025-12-15