|
1 | | -+ [Farhad](https://scholar.google.com/citations?user=aZ_uTPUAAAAJ) |
2 | | -+ [Scheme](https://conservatory.scheme.org/schemers/Documents/Standards/R5RS/) |
3 | | -+ [SML](https://smlfamily.github.io/) |
4 | | -+ [Scala](https://www.scala-lang.org/) |
5 | | -+ [Benjamin Pierce: Types and Programming Languages]() |
6 | | -+ [Gotthard-Basistunnel](https://en.wikipedia.org/wiki/Gotthard_Base_Tunnel) |
7 | | -+ [Block-based programming in Scratch](https://en.wikipedia.org/wiki/Scratch_(programming_language)) |
8 | | -+ [Designing a Visual, Block-Based Environment to Create & Execute Haskell Code ](https://www.ost.ch/de/details/abstracts/designing-a-visual-block-based-environment-to-create-execute-haskell-code-19074) |
9 | | -+ [Conal Elliott](http://conal.net/) |
| 1 | ++ [Farhad Mehta'a OST Webpage](https://www.ost.ch/de/person/farhad-d-mehta-1860) |
| 2 | ++ [ZuriHac](http://zurihac.info) |
| 3 | ++ [Department of Computer Science and Engineering (IIT) Delhi](https://homecse.iitd.ac.in) |
| 4 | ++ [Prof. S. Arun Kumar (SAK)](https://www.cse.iitd.ernet.in/~sak/) |
| 5 | ++ [Prof. Sanjiva Prasad](https://www.cse.iitd.ac.in/~sanjiva/) |
| 6 | ++ [Prof. Subashis Banerjee](https://www.cse.iitd.ernet.in/~suban/) |
| 7 | ++ [Introduction to Computer Science (Course at IIT Delhi)](https://homecse.iitd.ac.in/col100-introdution-to-computer-science/) |
| 8 | ++ [Scheme](https://www.scheme.org) |
| 9 | ++ [Standard ML](https://en.wikipedia.org/wiki/Standard_ML) |
| 10 | ++ [OCaml](https://ocaml.org) |
| 11 | ++ [Haskell](https://www.haskell.org) |
| 12 | ++ [Scala](https://www.scala-lang.org) |
| 13 | ++ [Types and Programming Languages (Book by Benjamin C. Pierce)](https://www.cis.upenn.edu/~bcpierce/tapl/) |
| 14 | ++ [Technical University Munich (TUM)](https://www.tum.de) |
| 15 | ++ [Isabelle (Proof Assistant)](https://isabelle.in.tum.de) |
| 16 | ++ [Prof. Tobias Nipkow](https://www21.in.tum.de/~nipkow/) |
| 17 | ++ [Swiss Institute of Technology (ETH) Zurich](https://ethz.ch/en.html) |
| 18 | ++ [Event-B (Formal Development Method)](https://en.wikipedia.org/wiki/B-Method#Event-B) |
| 19 | ++ [Prof. Jean-Raymond Abrial](https://en.wikipedia.org/wiki/Jean-Raymond_Abrial) |
| 20 | ++ [Lötschberg Base Tunnel](https://en.wikipedia.org/wiki/L0tschberg_Base_Tunnel) |
| 21 | ++ [Gotthard Base Tunnel](https://en.wikipedia.org/wiki/Gotthard_Base_Tunnel) |
| 22 | ++ [Eastern Switzerland University of Applied Sciences (OST)](https://www.ost.ch) |
| 23 | ++ [Functional Programming (Course at OST)](https://studien.ost.ch/allModules/39143_M_FP.html) |
| 24 | ++ [Advanced Programming Paradigms (Course at OST)](https://www.msengineering.ch/theory-modules/2024-2025-tsm-advprpa) |
0 commit comments