diff --git a/podcast/63/links.markdown b/podcast/63/links.markdown index bef38157..0560de75 100644 --- a/podcast/63/links.markdown +++ b/podcast/63/links.markdown @@ -1,9 +1,24 @@ -+ [Farhad](https://scholar.google.com/citations?user=aZ_uTPUAAAAJ) -+ [Scheme](https://conservatory.scheme.org/schemers/Documents/Standards/R5RS/) -+ [SML](https://smlfamily.github.io/) -+ [Scala](https://www.scala-lang.org/) -+ [Benjamin Pierce: Types and Programming Languages]() -+ [Gotthard-Basistunnel](https://en.wikipedia.org/wiki/Gotthard_Base_Tunnel) -+ [Block-based programming in Scratch](https://en.wikipedia.org/wiki/Scratch_(programming_language)) -+ [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) -+ [Conal Elliott](http://conal.net/) ++ [Farhad Mehta'a OST Webpage](https://www.ost.ch/de/person/farhad-d-mehta-1860) ++ [ZuriHac](http://zurihac.info) ++ [Department of Computer Science and Engineering (IIT) Delhi](https://homecse.iitd.ac.in) ++ [Prof. S. Arun Kumar (SAK)](https://www.cse.iitd.ernet.in/~sak/) ++ [Prof. Sanjiva Prasad](https://www.cse.iitd.ac.in/~sanjiva/) ++ [Prof. Subashis Banerjee](https://www.cse.iitd.ernet.in/~suban/) ++ [Introduction to Computer Science (Course at IIT Delhi)](https://homecse.iitd.ac.in/col100-introdution-to-computer-science/) ++ [Scheme](https://www.scheme.org) ++ [Standard ML](https://en.wikipedia.org/wiki/Standard_ML) ++ [OCaml](https://ocaml.org) ++ [Haskell](https://www.haskell.org) ++ [Scala](https://www.scala-lang.org) ++ [Types and Programming Languages (Book by Benjamin C. Pierce)](https://www.cis.upenn.edu/~bcpierce/tapl/) ++ [Technical University Munich (TUM)](https://www.tum.de) ++ [Isabelle (Proof Assistant)](https://isabelle.in.tum.de) ++ [Prof. Tobias Nipkow](https://www21.in.tum.de/~nipkow/) ++ [Swiss Institute of Technology (ETH) Zurich](https://ethz.ch/en.html) ++ [Event-B (Formal Development Method)](https://en.wikipedia.org/wiki/B-Method#Event-B) ++ [Prof. Jean-Raymond Abrial](https://en.wikipedia.org/wiki/Jean-Raymond_Abrial) ++ [Lötschberg Base Tunnel](https://en.wikipedia.org/wiki/L0tschberg_Base_Tunnel) ++ [Gotthard Base Tunnel](https://en.wikipedia.org/wiki/Gotthard_Base_Tunnel) ++ [Eastern Switzerland University of Applied Sciences (OST)](https://www.ost.ch) ++ [Functional Programming (Course at OST)](https://studien.ost.ch/allModules/39143_M_FP.html) ++ [Advanced Programming Paradigms (Course at OST)](https://www.msengineering.ch/theory-modules/2024-2025-tsm-advprpa)