Sessions as Propositions

Autor: Sam Lindley, J. Garrett Morris

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 155, Iss Proc. PLACES 2014, Pp 9-16 (2014)

Recently, Wadler presented a continuation-passing translation from a session-typed functional language, GV, to a process calculus based on classical linear logic, CP. However, this translation is one-way: CP is more expressive than GV. We propose an

Externí odkaz: https://doaj.org/article/25d5bc93a6de48c7ba621546b3658263

Constraint-based type inference for FreezeML

Autor: Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley

Publikováno v: Emrich, F, Stolarek, J, Cheney, J & Lindley, S 2022, ' Constraint-based type inference for FreezeML ', Proceedings of the ACM on Programming Languages, vol. 6, no. ICFP, 111, pp. 570-595 . https://doi.org/10.1145/3547642

FreezeML is a new approach to first-class polymorphic type inference that employs term annotations to control when and how polymorphic types are instantiated and generalised. It conservatively extends Hindley-Milner type inference and was first prese

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::931955470d63607ffcc09f49644865b1
https://doi.org/10.1145/3547642

Practical normalization by evaluation for EDSLs

Autor: Alejandro Russo, Nachiappan Valliappan, Sam Lindley

Publikováno v: Haskell
Valliappan, N, Russo, A & Lindley, S 2021, Practical Normalization by Evaluation for EDSLs . in Proceedings of the 14th ACM SIGPLAN International Haskell Symposium (Haskell 2021) . Virtual, Republic of Korea, pp. 56-70, ACM SIGPLAN Haskell Symposium 2021, 26/08/21 . https://doi.org/10.1145/3471874.3472983

Embedded domain-specific languages (eDSLs) are typically implemented in a rich host language, such as Haskell, using a combination of deep and shallow embedding techniques. While such a combination enables programmers to exploit the execution mechani

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed01b92557768e08f612f0067462f6cf
https://doi.org/10.1145/3471874.3472983

Effect handlers via generalised continuations

Autor: Robert Atkey, Daniel Hillerström, Sam Lindley

Publikováno v: Hillerström, D, Lindley, S & Atkey, R 2020, ' Effect handlers via generalised continuations ', Journal of Functional Programming, vol. 30, e5, pp. 1-69 . https://doi.org/10.1017/S0956796820000040

Plotkin and Pretnar’s effect handlers offer a versatile abstraction for modular programming with user-defined effects. This paper focuses on foundations for implementing effect handlers, for the three different kinds of effect handlers that have be

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f28c34ff9967db98106da2fdf6d6bada
https://www.pure.ed.ac.uk/ws/files/140406466/handlers.pdf

FreezeML: Complete and Easy Type Inference for First-Class Polymorphism

Autor: Jonathan Coates, Jan Stolarek, Frank Emrich, James Cheney, Sam Lindley

Publikováno v: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
Emrich, F, Lindley, S, Stolarek, J, Cheney, J & Coates, J 2020, FreezeML : Complete and Easy Type Inference for First-Class Polymorphism . in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation . Association for Computing Machinery (ACM), pp. 423-437, 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 15/06/20 . https://doi.org/10.1145/3385412.3386003
PLDI

ML is remarkable in providing statically typed polymorphism without the programmer ever having to write any type annotations. The cost of this parsimony is that the programmer is limited to a form of polymorphism in which quantifiers can occur only a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5bea7287ff18673400fc09a6d9808581