coFJ

swMATH29270MaRDI QIDQ40984FDOQ40984

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=2489807

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalizing inference systems by coaxioms
• Enhancing expressivity of checked corecursive streams
• Paco
• CoALP
• CoCaml
• Program equivalence by circular reasoning
• Title not available (Why is that?)

This page was built for software: coFJ