International Conference on Function Programming (ICFP)
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification.
模块化、代码特化和零成本抽象在程序验证中的应用。
2023
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols.
验证依赖分离协议的分布式分离逻辑中的可靠网络组件。
2023
Reflecting on Random Generation.
反思随机生成。
2023
Explicit Refinement Types.
显式细化类型。
2023
Special Delivery: Programming with Mailbox Types.
特殊传递：使用邮箱类型进行编程。
2023
Timely Computation.
及时计算。
2023
Typing Records, Maps, and Structs.
类型记录、映射和结构。
2023
More Fixpoints! (Functional Pearl).
更多不动点！（函数式编程珠玑）。
2023
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report).
通过抽象单子实现灵活指令集语义（经验报告）。
2023
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types.
比特窃取合法化：代数数据类型自定义内存表示的编译技术。
2023
会议信息
会议名称：
International Conference on Function Programming
会议评级
CCF: B
CORE: A
THCPL: B
年度会议
Year: 2022
Place: Ljubljana, Slovenia
Date: September 11-16, 2022
Timeline:
Abstract Deadline: N/A
Deadline: 2021-03-02T23:59:59-12:00
Abstract Deadline: N/A
Deadline: 2021-06-16T23:59:59-12:00