Ivor

swMATH6343MaRDI QIDQ18471FDOQ18471

Author name not available (Why is that?)

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