Да, Оккам тоже возник как развитие той же идеи Хоара, но не для схем, а как язык программирования.
Одно время Оккам пытались приспособить для разработки хардвера, но он оказался не особо удачным.
Есть хорошая статья на эту тему: http://apt.cs.manchester.ac.uk/ftp/pub/apt/papers/euro97.pdf