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.
Aug 13, 2024 · Comprehensive introduction to Haskell programming, covering algebraic data types, recursion, polymorphism, higher-order functions, lazy evaluation, monads ...
Missing: General | Show results with:General