PLDB
Measures
Concepts
GitHub icon
HOL
HOL - Programming language
<
>
edit
HOL is a
programming language
created in
1985
.
#3718
on PLDB
39
Years Old
HOL first developed in
University of Cambridge
HOL on HOPL
Read more about HOL on Semantic Scholar:
1.
hmsl.html
路 hol.html 路
holcf.html
View source
PLDB
- Build the next great programming language
路
Search
路
Add Language
路
Features
路
Creators
路
Resources
路
About
路
Blog
路
Acknowledgements
路
Queries
路
Stats
路
Sponsor
路
Day 605
路
feedback@pldb.io
路
Login
Logout