:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Pereira, Paulo R., Oliveira, Jose N.
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2602.16809
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Clean for Haskell Programmers
by: Lubbers, Mart, et al.
Published: (2024)

Freer Arrows and Why You Need Them in Haskell
by: VanDomelen, Grant, et al.
Published: (2025)

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
by: Matsushita, Yusuke, et al.
Published: (2026)

HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
by: Sarkar, Abhiroop, et al.
Published: (2024)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
by: Kudasov, Nikolai, et al.
Published: (2024)

Understanding Haskell-style Overloading via Open Data and Open Functions
by: Marmaduke, Andrew, et al.
Published: (2025)

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
by: Fu, Shuai, et al.
Published: (2024)

Describing Console I/O Behavior for Testing Student Submissions in Haskell
by: Westphal, Oliver, et al.
Published: (2020)

Data Petri Nets meet Probabilistic Programming (Extended version)
by: Kuhn, Martin, et al.
Published: (2024)

Preserving Power Optimizations Across the High Level Synthesis of Distinct Application-Specific Circuits
by: Garcia, Paulo
Published: (2024)

The Cyan Language
by: Guimarães, José de Oliveira
Published: (2013)

Maj. Eugenie Evariste Teller, portrait.
by: Teller, Eugenie Evariste, MAJ
Published: (2025)

Certified Compilation based on Gödel Numbers
by: Silva, Guilherme de Oliveira, et al.
Published: (2025)

Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case Study
by: van Dam, Tim, et al.
Published: (2024)

Full Iso-recursive Types
by: Zhou, Litao, et al.
Published: (2024)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
by: de Vilhena, Paulo Emílio, et al.
Published: (2021)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
by: Chirica, Ion, et al.
Published: (2025)

Functional Programming in Learning Electromagnetic Theory
by: Walck, Scott N.
Published: (2024)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
by: Oliveira, Francisco, et al.
Published: (2025)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
by: Flanagan, Cormac, et al.
Published: (2024)

Causal-Consistent Reversible Debugging: Improving CauDEr
by: González-Abril, Juan José, et al.
Published: (2024)

The Design Principles of the Elixir Type System
by: Castagna, Giuseppe, et al.
Published: (2023)

An Optimizing Just-In-Time Compiler for Rotor
by: Trindade, João H., et al.
Published: (2024)

Extending the C/C++ Memory Model with Inline Assembly
by: de Vilhena, Paulo Emílio, et al.
Published: (2024)

Compiling Gradual Types with Evidence
by: Romero, José Luis, et al.
Published: (2025)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
by: Redmond, Patrick, et al.
Published: (2025)

Data Transfer Optimizations for Host-CPU and Accelerators in AXI4MLIR
by: Haris, Jude, et al.
Published: (2024)

Reactive graphs in action (extended version)
by: Tinoco, David, et al.
Published: (2024)

Abstract Environment Trimming
by: Jurjo-Rivas, Daniel, et al.
Published: (2024)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
by: Paraskevopoulou, Zoe, et al.
Published: (2024)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
by: Andrès, Léo, et al.
Published: (2024)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
by: Ciccalè, Marco, et al.
Published: (2025)

Verifying Sequential Consistency under Bounded Preemptions
by: Govind, R., et al.
Published: (2026)

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
by: Ferreiro, Daniela, et al.
Published: (2026)

Student Handbook--Haskell Indian Junior College, Lawrence, Kansas.
Published: (1973)

ComPile: A Large IR Dataset from Production Sources
by: Grossman, Aiden, et al.
Published: (2023)

Eliminate Branches by Melding IR Instructions
by: Li, Yuze, et al.
Published: (2025)

Checking Consistency of Event-driven Traces
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

State Space Estimation for DPOR-based Model Checkers(Extended Version)
by: Balasubramanian, A. R., et al.
Published: (2025)

Synchronous Programming with Refinement Types
by: Chen, Jiawei, et al.
Published: (2024)