English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Foundational Extensible Corecursion: A Proof Assistant Perspective

Blanchette, J. C., Popescu, A., & Traytel, D. (2015). Foundational Extensible Corecursion: A Proof Assistant Perspective. In Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (pp. 192-204). New York, NY: ACM. doi:10.1145/2784731.2784732.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0029-5B18-E Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0029-5E8B-9
Genre: Conference Paper

Files

show Files

Locators

show
hide
Locator:
Link (Any fulltext)
Description:
-
OA-Status:

Creators

show
hide
 Creators:
Blanchette, Jasmin Christian1, Author           
Popescu, Andrei2, Author
Traytel, Dmitriy2, Author
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2External Organizations, ou_persistent22              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2015-08-292015
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: DOI: 10.1145/2784731.2784732
BibTex Citekey: DBLP:conf/icfp/Blanchette0T15
 Degree: -

Event

show
hide
Title: 20th ACM SIGPLAN International Conference on Functional Programming
Place of Event: Vancouver, BC, Canada
Start-/End Date: 2015-09-01 - 2015-09-03

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
  Abbreviation : ICFP 2015
  Subtitle : ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: New York, NY : ACM
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 192 - 204 Identifier: ISBN: 978-1-4503-3669-7

Source 2

show
hide
Title: ACM SIGPLAN Notices
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: New York, NY : ACM Press
Pages: - Volume / Issue: 50 (9) Sequence Number: - Start / End Page: - Identifier: ISSN: 0362-1340
CoNE: https://pure.mpg.de/cone/journals/resource/954925522703