Sign up to save your podcasts
Or
Share Supporting FLAT concepts in Learn-OCaml
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Supporting FLAT concepts in Learn-OCaml
Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding
Artur Miguel Dias (NOVA University of Lisbon and NOVA LINCS)
Simão Melo de Sousa (Universidade da Beira Interior and NOVA LINCS)
Antonio Ravara (NOVA LINCS & FCT, NOVA University of Lisbon)
We present the motivation and principles that lead to the development of support for exercises on Formal Languages and Automata Theory in Learn-OCaml, its integration with OFLAT, our web based teaching environment (mostly implemented in OCaml), its uses in the classroom in two Portuguese Universities, and in supporting students independent work.
View all episodes
By Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding
Artur Miguel Dias (NOVA University of Lisbon and NOVA LINCS)
Simão Melo de Sousa (Universidade da Beira Interior and NOVA LINCS)
Antonio Ravara (NOVA LINCS & FCT, NOVA University of Lisbon)
We present the motivation and principles that lead to the development of support for exercises on Formal Languages and Automata Theory in Learn-OCaml, its integration with OFLAT, our web based teaching environment (mostly implemented in OCaml), its uses in the classroom in two Portuguese Universities, and in supporting students independent work.