Foundational Extensible Corecursion: A Proof Assistant Perspective

ACM SIGPLAN Notices - United States
doi 10.1145/2858949.2784732
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Extensible Proof-Producing Compilation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Foundational Proof Checkers With Small Witnesses

2003English

Sustainability and Organizational Behavior: A Micro-Foundational Perspective

Journal of Organizational Behavior
SociologyPsychologyOrganizational BehaviorHuman Resource ManagementApplied PsychologyPolitical Science
2017English

A Formal Library for Elliptic Curves in the Coq Proof Assistant

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Structural Analysis of Narratives With the Coq Proof Assistant

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study

IPSJ Digital Courier
2005English

Encoding Featherweight Java With Assignment and Immutability Using the Coq Proof Assistant

2012English

Users’ Perspective of Extensible Business Reporting Language (XBRL) in India

MUDRA : Journal of Finance and Accounting
2017English

A Program Testing Assistant

Communications of the ACM
Computer Science
1982English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy