最近留意的幾個Conf
挑點我感興趣的東西出來...
TFP 2016
* Proving Type Class Laws for Haskell
* The Random Access Zipper: Simple, Purely-Functional Sequences
* Hazelnut: A Minimal Bidirectionally Typed Structure Editor
* Functional, Reactive Web Abstractions // 突然看到Formlet這個抽象有人再提起, F#那些人
YOW! Lambda Jam 2016 (視頻剛剛開始出來)
* Immutable Data for Scale, Flexibility and Safety: Event Sourcing and CQRS from the Trenches
* Propagators - Edward Kmett
* Practical Haskell Performance
* The Expression Problem and Lenses
PLDI 2016
* RyuJIT
* One VM to Rule Them All, One VM to Bind Them // Graal
* Types from data: Making structured data first-class citizens in F# // 跟上面Formlet那個有點聯繫
* 原來ISMM跟PLDI是一起開的啊 (
Software Development Team: Virtual Machines Summer School 2016 (#vmss16) (不算conf啦
* Meta-Tracing, RPython and PyPy
* What I learned from LuaJIT
* Building high performance, fully concurrent garbage collectors with confidence
推薦閱讀:
※持久化數據結構學習筆記——序列
※我願意在她手掌之中(一):範式
※Coq學習筆記11:策略和證明自動化
TAG:函數式編程 |