2009
Part of the course notes for the Software Formal Verification module (MFES 08/09, MFES 09/10)
– Formal Logic and Deduction Systems (introduction)
2007
– M. J. Frade. Type Systems and Logics. Departamento de Informática, Universidade do Minho, 2007.
– M. J. Frade. Beyond Pure Type Systems. Departamento de Informática, Universidade do Minho, 2007.
– M. J. Frade. Programação Funcional - Haskell. Departamento de Informática, Universidade do Minho, 2004–2007.
2006
– M. J. Frade, J. S. Pinto. Programação Funcional - Caderno de Exercícios. Departamento de Informática, Universidade do Minho, 2006.
– M. J. Frade. Lógica Computacional - Prolog. Departamento de Informática, Universidade do Minho, 2006.
– M. J. Frade. Lógica Computacional - Caderno de Exercícios. Departamento de Informática, Universidade do Minho, 2006.
2005
– M. J. Frade. Elementos Lógicos da Programação I - Caderno de Exercícios. Departamento de Informática, Universidade do Minho, 2005.
1998
– J. S. Pinto, M. J. Frade. Introdução ao Sistema COQ de Assistência à Prova (Elementos Lógicos da Programação III). Departamento de Informática, Universidade do Minho, 1998.
– J. S. Pinto, M. J. Frade. Guiões das aulas práticas laboratoriais sobre o sistema COQ (Elementos Lógicos da Programação II). Departamento de Informática, Universidade do Minho, 1998.
– M. J. Frade. Sebenta Prática de Elementos Lógicos da Programação I. Departamento de Informática, Universidade do Minho, 1998.
1995
– J. P. Miranda, M. J. Frade. Comunicação, Concorrência e Processos. Departamento de Informática, Universidade do Minho, 1995.
– J. P. Miranda, M. J. Frade. A minha primeira introdução ao RPC. Departamento de Informática, Universidade do Minho, 1995.
– J. P. Miranda, M. J. Frade. Navegar é preciso... Departamento de Informática, Universidade do Minho, 1995.