Juan J. Quintela

According to our database¹, Juan J. Quintela authored at least 4 papers between 1996 and 2001.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2001

Persistent Haskell.

[DOI]

Proceedings of the Computer Aided Systems Theory, 2001

1997

From Sequential to Distributed Formal Proofs.

[DOI]

Proceedings of the Computer Aided Systems Theory, 1997

Transport Primitives for Functional Agents.

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Towards High-Order Distribution in Functional Languages.

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996