×

Found 274 Documents (Results 1–100)

Proving the unique fixed-point principle correct: an adventure with category theory. (English) Zbl 1323.68211

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 359-371 (2011).
MSC:  68N30 68Q55
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Software