Join the PLDB email list:
Join
❌
PLDB
Top 1K
Features
Creators
Events
Podcasts
Books
Extensions
Interviews
Blog
Explorer
CSV
Mizar
<
>
edit
Mizar is a
programming language
created in
1973
.
#4256
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 v164.7.0