PLDB Top 1,000 Features Creators Resources Blog Explorer Download

Isabelle-91

< >

Isabelle-91 is a programming language created in 1991.

#3917on PLDB

33Years Old

Isabelle-91 first developed in University of Cambridge
Isabelle-91 on HOPL
Read more about Isabelle-91 on the web: 1.

PLDB - Build the next great programming language · About · Acknowledgements · Extensions · Day 630 · Donate · feedback@pldb.io