PLDB
Top 1K
Features
Creators
Events
Podcasts
Books
Extensions
Interviews
Blog
Explorer
CSV
Mizar
<
>
edit
Mizar is a
programming language
created in
1973
.
#4247
on PLDB
51
Years Old
Tags:
programming language
Early development of Mizar happened in
University of Alberta
Mizar on HOPL
Read more about Mizar on Semantic Scholar:
1.
mirfac.html
路 mizar.html 路
mlisp2.html
PLDB
- Build the next great programming language
路
Add
路
Issues
路
About
路
Search
路
Keywords
路
Livestreams
路
Labs
路
Resources
路
Acknowledgements
Built with Scroll v154.3.0