Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Author
Niels Van Der Weide
Radboud University
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