Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Functional programming languages --- Functional programming languages - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Functional programming languages

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Functional programming languages

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

IFL symposia aim at bringing together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2018 has been a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming.

Functional programming languages

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus, in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic. The notion of 'parametrized semantics' is used to describe code generation and abstract interpretation. The code generation is for a simple abstract machine designed for the purpose; it is close to the categorical abstract machine. The abstract interpretation focuses on a strictness analysis that generalises Wadler's analysis for lists.

Functional programming languages.