Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

parcon18:top [2018/05/24 09:27]
romain [Grading]
parcon18:top [2018/12/04 21:36] (current)
vkuncak [EPFL Parallelism and Concurrency (CS-206), Spring 2018]
Line 11: Line 11:
  
 The main textbook is [[https://​www.packtpub.com/​application-development/​learning-concurrent-programming-scala|Learning Concurrent Programming in Scala]]. The main textbook is [[https://​www.packtpub.com/​application-development/​learning-concurrent-programming-scala|Learning Concurrent Programming in Scala]].
-  * if you need to learn Scala, have a look at the course [[http://​lara.epfl.ch/​w/​funprog17:​top|Functional Programming Course]].+  * if you need to learn Scala, have a look at the course [[http://​lara.epfl.ch/​w/​funprog17:​top|Functional Programming Course]] 
 +  * [[https://​www.youtube.com/​watch?​v=cN_DpYBzKso|Concurrency Is Not Parallelism - Talk by Rob Pike]]
  
 ===== Overview ===== ===== Overview =====
 
parcon18/top.1527146858.txt.gz · Last modified: 2018/05/24 09:27 by romain
 
© EPFL 2018 - Legal notice