Top 1,000 Features Creators Resources Blog Explorer Download
GitHub icon

Baby modula-3

< >

Baby modula-3 is a programming language created in 1993.

#4236on PLDB 31Years Old

Baby Modula-3 is a functional programming sublanguage of Modula-3 (safe subset) programming language based on ideals invented by Mart铆n Abadi. It is an object oriented language for studying programming language design; one part of it is implicitly prototype-oriented programming language, and the other is explicitly statically typed designed for studying computer science type theories. It has been checked as a formal language of metaprogramming systems. Read more on Wikipedia...


View source

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