Embedding F

Lindley, Sam

doi:10.1145/2364394.2364402

Search citation statements

Order By: Relevance

Paper Sections

Select...

A Course In Advanced Functional Programming1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2019

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, the remarkable expressive power of System Fω exposes some limitations of functional programming languages: for example, OCaml's type language supports only first-order applications, and Haskell's supports only higher-order applications; neither supports type abstractions (although it is often possible to simulate abstractions via lambda-lifting [Lindley 2012]); contrariwise, the limitations of System Fω, which does not support primitive effects or general recursion, help to make clear exactly what can be accomplished without those facilities (Cf. Turner [2004]).…”

Section: A Course In Advanced Functional Programmingmentioning

confidence: 99%