Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Author
Henning Basold
Radboud University and CWI Amsterdam
Nijmegen, Netherlands
1 article by this author
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
Research Article
Higher Inductive Types in Programming
Henning Basold
,
Herman Geuvers
,
Niels Van Der Weide
Part of: Functional Programming: Past, Present, and Future. Contributions dedicated to D.A. Turner on his 70th Birthday
10.3217/jucs-023-01-0063
28-01-2017
Unique: 693 | Total: 946
| Access Period:
63-88
HTML
XML
PDF
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK