Type classes: an exploration of the design space - Microsoft Research
When type classes were first introduced in Haskell they were regarded as a fairly experimental language feature, and therefore warranted a fairly conservative design. Since that time, practical experience has convinced many programmers of the benefits and convenience of type classes. However, on occasion, these same programmers have discovered examples where seemingly natural applications for type
Rethinking set theory
Mathematicians manipulate sets with confidence almost every day, rarely making mistakes. Few of us, however, could accurately quote what are often referred to as "the" axioms of set theory. This suggests that we all carry around with us, perhaps subconsciously, a reliable body of operating principles for manipulating sets. What if we were to take some of those principles and adopt them as our axio
A weblog of sorts - Papers I Read and Loved in 2017
I spent 2017 as a research intern working at the systems group, ETH Zurich. I worked on Polly, a loop optimizer for LLVM, so this had me read a bunch of compiler related papers. I also started implementing simplexhc, a STG to LLVM compiler. STG is the Glasgow Haskell compiler’s internal representation for Haskell. This had me reading a bunch of lazy compiler papers! I decided to make a list of pap
A Categorical Theory of Patches
When working with distant collaborators on the same documents, one often uses a version control system, which is a program tracking the history of files and helping importing modifications brought by others as patches. The implementation of such a system requires to handle lots of situations depending on the operations performed by users on files, and it is thus difficult to ensure that all the co
Reddit - Dive into anything
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
monads.dvi
Some notes on monads Andrea Schalk [email protected] Department of Computer Science University of Manchester March 12, 2002 About these notes. These notes try to motivate the notion of ‘monad’ in category theory and go on to show some basic facts about them. They are directed at an audience which is familiar with the basic notions of category up to at least adjunctions. To avoid cluttering up
Reddit - Dive into anything
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Spanner: Google's Globally-Distributed Database
https://dl.acm.org/doi/10.1145/3593856.3595909
https://dl.acm.org/doi/10.1145/3473569
http://ezyang.com/papers/ezyang15-cnf.pdf
https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume03/issue02/13081/DagRep.3.2.92/DagRep.3.2.92.pdf
CiteSeerX
CiteSeerX
ATS-PL-SYS
https://www.joachim-breitner.de/publications/CallArity-TFP.pdf
Request Rejected
Distributed systems theory for the distributed systems engineer | Paper Trail
Reddit - Dive into anything
ACM SIGPLAN Haskell Symposium 2014
{{#tags}}- {{label}}
{{/tags}}