Artículo:

Functional Dclarative Language Design and Predicate Calculus: A Practical Approach

Autor:

R. Boute

Página:

988

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

27

Número:

5

Periodo:

Septiembre 2005

ISSN:

01640925

SrcID:

01640925-2005-05.txt