/explore
|
You are here 
|
iclr-blogposts.github.io | ||
| | | | |
icfp23.sigplan.org
|
|
| | | | | NEW: Register for a lightning talk here: https://docs.google.com/document/d/1OQvkBqFf-JHd8XZ8q5Fkk0m8LOG5FlnGCzyzLS2MAqk/edit?usp=sharing The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; Theory, such as formal se... | |
| | | | |
responsiblecomputing.org
|
|
| | | | | The 5th annual Symposium on Foundations of Responsible Computing (FORC) will be held on June 12-14, 2024, at Harvard University in Cambridge, MA. FORC is a forum for mathematical research in computation and society writ large. The Symposium aims to catalyze the formation of a community supportive of the application of theoretical computer science, statistics,... | |
| | | | |
cse.buffalo.edu
|
|
| | | | | ||
| | | | |
algassert.com
|
|
| | | Craig Gidney's computer science blog | ||
