Functional Programming and Applications in Information Technology

May 2003
University Johannes Kepler
Institut für Systemwissenschaften
J. L. Freire Nistal


---

 

Talks:

---

• Monday, 5        12:00    T211
• Tuesday, 6        15:30    BA9909
• Wednesday, 7    13:45    T857
• Thursday, 8        13:45    T111
• Friday, 9            12:45    T212

• Monday, 12        13:45    T857
• Tuesday, 13        13:45    HS 12
• Wednesday, 14   12:00    T112
• Friday, 9             13:45    HS 11

---

 
 
 
 
 
 
 
 
 
 
 

---


Some links:
• Esprit working group 21900 - TYPES
• Formal Methods
• Erlang
• VoDKA
• Coq

---

Notes and references.

• Introduction to Erlang
•  (sequential)
• (concurrent)
• Introduccion a Coq
• Paper "On coinduction ..."
• Sources.
• mu-calculus

 

 
 
 
 
 
 
 
 
 
 
 
 
 

---


 

Última modificación 21 de Abril de 2003

Jose Luis Freire Nistal