標籤:

最近留意的幾個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:函數式編程 |