Category
page 1Programming languages created in 1973
ML
functional programming language
COMAL
COMAL (Common Algorithmic Language) is a computer programming language developed in Denmark by Børge R. Christensen and Benedict Løfstedt and originally released in 1975. It was based on the BASIC programming language, adding multi-line statements and well-defined subroutines among other additions.
Mizar
proof assistant