A Functional Framework for Result Checking

DOI10.1007/978-3-642-12251-4_7zbMath1284.68123OpenAlexW2132080709MaRDI QIDQ3558330

Pablo Buiras, César Kunz, Gilles Barthe

Publication date: 4 May 2010

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12251-4_7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: A Functional Framework for Result Checking