Buchumschlag

Haskell meets Evariste

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pereira, Paulo R., Oliveira, Jose N.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Clean for Haskell Programmers
von: Lubbers, Mart, et al.
Veröffentlicht: (2024)

Freer Arrows and Why You Need Them in Haskell
von: VanDomelen, Grant, et al.
Veröffentlicht: (2025)

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
von: Matsushita, Yusuke, et al.
Veröffentlicht: (2026)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
von: Kudasov, Nikolai, et al.
Veröffentlicht: (2024)

Understanding Haskell-style Overloading via Open Data and Open Functions
von: Marmaduke, Andrew, et al.
Veröffentlicht: (2025)

HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
von: Sarkar, Abhiroop, et al.
Veröffentlicht: (2024)

Describing Console I/O Behavior for Testing Student Submissions in Haskell
von: Westphal, Oliver, et al.
Veröffentlicht: (2020)

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
von: Fu, Shuai, et al.
Veröffentlicht: (2024)

Data Petri Nets meet Probabilistic Programming (Extended version)
von: Kuhn, Martin, et al.
Veröffentlicht: (2024)

Preserving Power Optimizations Across the High Level Synthesis of Distinct Application-Specific Circuits
von: Garcia, Paulo
Veröffentlicht: (2024)

The Cyan Language
von: Guimarães, José de Oliveira
Veröffentlicht: (2013)

Maj. Eugenie Evariste Teller, portrait.
von: Teller, Eugenie Evariste, MAJ
Veröffentlicht: (2025)

Full Iso-recursive Types
von: Zhou, Litao, et al.
Veröffentlicht: (2024)

Functional Programming in Learning Electromagnetic Theory
von: Walck, Scott N.
Veröffentlicht: (2024)

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

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

Causal-Consistent Reversible Debugging: Improving CauDEr
von: González-Abril, Juan José, et al.
Veröffentlicht: (2024)

The Design Principles of the Elixir Type System
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2023)

An Optimizing Just-In-Time Compiler for Rotor
von: Trindade, João H., et al.
Veröffentlicht: (2024)

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

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
von: Chirica, Ion, et al.
Veröffentlicht: (2025)

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

Compiling Gradual Types with Evidence
von: Romero, José Luis, et al.
Veröffentlicht: (2025)

Verifying Sequential Consistency under Bounded Preemptions
von: Govind, R., et al.
Veröffentlicht: (2026)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
von: Redmond, Patrick, et al.
Veröffentlicht: (2025)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
von: Oliveira, Francisco, et al.
Veröffentlicht: (2025)

Data Transfer Optimizations for Host-CPU and Accelerators in AXI4MLIR
von: Haris, Jude, et al.
Veröffentlicht: (2024)

Abstract Environment Trimming
von: Jurjo-Rivas, Daniel, et al.
Veröffentlicht: (2024)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
von: Paraskevopoulou, Zoe, et al.
Veröffentlicht: (2024)

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

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

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
von: Ferreiro, Daniela, et al.
Veröffentlicht: (2026)

Eliminate Branches by Melding IR Instructions
von: Li, Yuze, et al.
Veröffentlicht: (2025)

Checking Consistency of Event-driven Traces
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2025)

State Space Estimation for DPOR-based Model Checkers(Extended Version)
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2025)

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

ComPile: A Large IR Dataset from Production Sources
von: Grossman, Aiden, et al.
Veröffentlicht: (2023)

Synchronous Programming with Refinement Types
von: Chen, Jiawei, et al.
Veröffentlicht: (2024)

Reactive graphs in action (extended version)
von: Tinoco, David, et al.
Veröffentlicht: (2024)

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization
von: Vijayaraghavan, Prashanth, et al.
Veröffentlicht: (2026)