| | Presentation | | ---- | ------------- | --------------------- | | ◻️ | Functor, Apply, Applicative, Bind and Monad by Oliver Daff | | ◻️ | Functional Programming Fundamentals by Dr. Erik Meijer, parts: 1, 2, 3, 4, 5, 6, 7,8, 9 | | ◻️ | Programming with algebras by Bartosz Milewski | | ◻️ | Fun with categories by Bartosz Milewski | | ◻️ | Category Theory, The essence of interface-based design by Erik Meijer | | 🔳 | "Propositions as Types" by Philip Wadler |
#Haskell | | Presentation | | ---- | ------------- | --------------------- | | ◻️ | Haskell Tutorial by Derek Banas |
| | Presentation | | ---- | ------------- | --------------------- | | ◻️ | Resource Tracking Techniques by Roger Rigg
| | Presentation | | ---- | ------------- | --------------------- | | ◻️ | Kittens: Shapeless Typeclass Derivation for Cats
| | Presentation | | ---- | ------------- | --------------------- | | 🔳 | Java byte code in practice by Rafael Winterhalter | 🔳 | JVM bytecode manipulation techniques for JVM "freaks wannabe" by Jarek Pałka | 🔳 | JVM Bytecode for Dummies (and the Rest of Us Too) | 🔳 | Busy Java Developer's Guide to JVM Bytecode by Ted Neward | 🔳 | Demystifying invokedynamic by Venkat Subramaniam | ◻️ | Invokedynamic: You ain't seen nothing yet
| | Presentation | | ---- | ------------- | --------------------- | | ◻️ | Type-safe off-heap memory for Scala |
| | Presentation | | ---- | ------------- | --------------------- | | ◻️ | The Death of Agile by Allen Holub | | ◻️ | One Hacker Way by Erik Meijer |
| | Presentation | | ---- | ------------- | ---------------------| | 🔳 | Top 10 - Performance Folklore by Martin Thomson |