<p>Do you know of any courses using Haskell to illustrate Computational Theory topics?</p>

CC BY-SA 4.0
2020-05-13T20:07:19.830Z
Is this for teaching yourself, or for teaching others?
Ben I.
CC BY-SA 4.0
2020-05-13T23:46:53.570Z
It's for teaching others.
Drimades Boy
CC BY-SA 4.0
2020-05-14T01:12:43.727Z
Could you add some more details about what you're looking for and why?  With so little to go on (and with a yes or no question), you are limiting your answers to a very narrow band.  I teach computational theory using Scheme, for instance.
Ben I.
CC BY-SA 4.0
2020-05-14T03:02:13.683Z
You may find this useful http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/
Rushi
CC BY-SA 4.0
2020-05-14T03:03:24.003Z
@BenI. Would you have any of the scheme+CT stuff accessible?
Rushi
CC BY-SA 4.0
2020-05-14T14:14:49.667Z
@Rusi It's not, though if you want to ping me in the [chat room](https://chat.stackexchange.com/rooms/59174/the-classroom), I'd be glad to describe what I do.
Ben I.
CC BY-SA 4.0
2020-05-15T02:52:53.390Z
@BenI. Regular Languages, Context-Free Languages, Turing Machines, Decidability, Reductions, etc.
Drimades Boy
<resource-request><cs-theory><complexity-theory>
Computer Science Theory with Haskell?
# Computer Science Theory with Haskell?

(Asked by: username_0 on 2020-05-13)

Do you know of any courses using Haskell to illustrate Computational Theory topics?

**Tags:** resource-request, cs-theory, complexity-theory

> **Comments:**
> **username_1**: Is this for teaching yourself, or for teaching others?  
> **username_0**: It's for teaching others.  
> **username_1**: Could you add some more details about what you're looking for and why?  With so little to go on (and with a yes or no question), you are limiting your answers to a very narrow band.  I teach computational theory using Scheme, for instance.  
> **username_2**: You may find this useful http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/  
> **username_2**: @BenI. Would you have any of the scheme+CT stuff accessible?  
> **username_1**: @Rusi It's not, though if you want to ping me in the [chat room](https://chat.stackexchange.com/rooms/59174/the-classroom), I'd be glad to describe what I do.  
> **username_0**: @BenI. Regular Languages, Context-Free Languages, Turing Machines, Decidability, Reductions, etc.  

---

## 0 answers

