Publisher
Springer Nature Switzerland
Reference30 articles.
1. Lecture Notes in Computer Science;F Bannwart,2006
2. Barendregt, H.P.: The Lambda Calculus Its Syntax and Semantics, revised edn., vol. 103. North Holland (1984). http://www.cs.ru.nl/~henk/Personal Webpage
3. Barwell, A.D., Brown, C.: A Trustworthy framework for resource-aware embedded programming. In: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, IFL 2019. Association for Computing Machinery, New York (2021). https://doi.org/10.1145/3412932.3412944
4. Bereczky, P., Horpácsi, D., Thompson, S.: Machine-checked natural semantics for core erlang: exceptions and side effects. In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, pp. 1–13. ACM, August 2020. https://kar.kent.ac.uk/82515/
5. Brady, E.: Idris, a general-purpose dependently typed programming language: design and implementation. J. Funct. Program. 23(5), 552–593 (2013)