Trends in Functional Programming

Beschreibung

This book constitutes revised selected papers from the 27th International Symposium on Trends in Functional Programming, TFP 2026, held in Odense, Denmark, during January 27–29, 2026.

The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They were organized in topical sections as follows: Semantics and Type Theory; Implementation and Compilation; and Teaching and Education.

Autor*in

Casper Bach

Themen in »Trends in Functional Programming«

Functional Programming Type Systems Verification debugging profiling programming languages dependent types data structures program analysis programming semantics software verification program synthesis compilers algorithm design software architecture

Stimmen zu »Trends in Functional Programming«

Details

Link teilen