Aug 28, 2024 · A general framework for lazy i functional logic programming with algebraic polymorphic types. It presents a general framework for building and analysing ...

1 day ago · You can use immutable types, pure functions, closures and so on in most languages. Conversely, you can define mutable types and imperative code in most ...

5 days ago · This section deals with the topic of getting Agda programs to interact with the real world. Type checking Agda programs requires evaluating arbitrary terms, ans ...

5 days ago · Formulog embeds a functional language with standard features like algebraic data types and pattern matching. It also provides the ability for functional code ...

Aug 7, 2024 · The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024.

Aug 22, 2024 · Session types are a typed approach to message-passing concurrency, where types describe sequences of intended exchanges over channels.

Aug 20, 2024 · To model such programming languages, we use a (weak and closed) λ-calculus integrating a pattern matching mechanism on alge- braic data types (ADTs). Remarkably ...

Aug 21, 2024 · We adapt the algebraic effects and handlers approach and the framework introduced in Datatypes a la carte (Swierstra, 2008) to create a truly modular ...

Aug 6, 2024 · Abstract. Choices made in programming language and type system design involve tradeoffs between safety, simplicity, extensibility, and usability.

Missing: General | Show results with:General