Suchergebnisse

AbstractThe paper on "Applicative Programming" by H. Richards is a highly recommendable text for those wishing to get acquainted with the idea of applicative programming and system concepts. However, it should also be read by those who still prefer to take the sledgehammer approach to correct and verifiable software engineering and to the problem of nonsequential programming and program execution.