Ivor

MaRDI QIDQ18471swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1757037

Described by source

• Ivor, a Proof Engine

Cited in

(8)

• Trends in trends in functional programming 1999/2000 versus 2007/2008
• Alfalfa
• Camlflow
• iTasks
• AoPA
• Hume
• Hop
• Correct-by-construction concurrency: using dependent types to verify implementations of effectful resource usage protocols

This page was built for software: Ivor