Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Cristóbal Pareja

Adding Traces to a Lazy Monadic Evaluator

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Related publications

From Stack Traces to Lazy Rewriting Sequences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Erratum To: A Monadic Semantics for Quantum Computing in Featherweight Java

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Adding Speech to a Robotics Simulator

2011English

A Generic Function Evaluator Implemented in Mata

Stata Journal
Mathematics
2007English

Monadic Constraint Programming

Journal of Functional Programming
Software
2009English

Monadic GMV-algebras

Archive for Mathematical Logic
PhilosophyLogic
2008English

Lazy Arithmetic

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
1997English

Practical Typed Lazy Contracts

ACM SIGPLAN Notices
Computer Science
2012English

Adding Deductive Logic to a COTS Spreadsheet

Knowledge Engineering Review
Artificial IntelligenceSoftware
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy