How to safely use extensionality in Liquid Haskell.

Niki Vazou Michael Greenberg

Published in: Haskell (2022)

Keyphrases

information systems
functional programming
programming language
plagiarism detection
mathematical model
boundary conditions
image retrieval
evolutionary algorithm
heat transfer
functional language
image processing
objective function
search algorithm
open source
navier stokes equations