A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

No, HTML is not a computer programming language. This may ruffle the feathers of web developers and graphic designers who take pride in the webpages they have built. Nevertheless, HTML is not a ...

The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...

Though the problems number from 1 to 99, there are some gaps and some additions marked with letters. There are actually only 88 problems. There is no nested list type in OCaml, so we need to define ...