A SkillsCast for this session is not available.
During this talk, you will discover System Z as an example to show, how language features such as list comprehensions and higher order functions can be used to quickly implement a running prototype of a complex formal system.
YOU MAY ALSO LIKE:
- Haskell eXchange 2021: Novice Track (Online Conference on 15th November 2021)
- Haskell eXchange 2021: Pro Track (Online Conference on 16th - 17th November 2021)
- Hashing Modulo Alpha Equivalence (SkillsCast recorded in May 2021)
- In The Belly Of The Whale: Tales From Haskell In The Enterprise (SkillsCast recorded in May 2021)
Commonsense Reasoning using Haskell
Steven has a Master of Computer Science at the Trier University of Applied Sciences and is currently a Research assistant at the University of Hagen in the area of knowledge based systems.