Explore >> Select a destination
|
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... | |
| | | | |
cse.buffalo.edu
|
|
| | | | | ||
| | | | |
www.languageatinternet.org
|
|
| | | | | Language@Internet is an open-access, peer-reviewed, scholarly electronic journal that publishes original research on language and language use mediated by the Internet, the World Wide Web, and mobile technologies. | |
| | | | |
wavewatching.net
|
|
| | | Recently Scott Aaronson offered a bounty of $100,000 to anybody who can prove that universal quantum computing is not possible in the real world. This was countered by a $200,000 bet, put forward b... | ||
