云梯更科学的上网工具

云梯更科学的上网工具

ICFP 2018 is the 23rd ACM SIGPLAN International Conference on Functional Programming. This year, ICFP is colocated with Strange Loop!

Considering attending ICFP for the first time? See our brief explainer.

Recipients of the ICFP Distinguished Paper Award are now shown in the program.

云梯更科学的上网工具

Gradual Typing

Ronald Garcia

The Role of Functional Programming and DSLs in Hardware

Pat Hanrahan

Conveying the Power of Abstraction

Eugenia Cheng