Technical groups
Open source
Careers
Research
Blog
Contact
Consulting services
Technical groups
Open source
Careers
Research
Blog
Contact
Consulting services
Blog: liquidhaskell (5 posts)
all
haskell
nix
data-science
bazel
linear-types
statistics
python
devops
internship
nickel
fellowship
data-engineering
high-assurance
MCMC
rust
ghc
formal-methods
asterius
ocaml
inline-java
jobs
build-systems
webassembly
tutorial
formatting
icfp
liquidhaskell
programming-languages
smart-contracts
blockchain
topiary
auditing
jupyter
profiling
trustix
capability
c
c++
tools
fawltydeps
reproducibility
monorepo
optics
golang
cybersecurity
regulation
sbom
llms
rag
generative-ai
llm-evaluation
retrieval
cmake
ux
dependency-management
best-practices
cargo
type-level programming
buck2
packaging
halide-haskell
terraform
announcement
machine-learning
cloud
azure
ray
state-machine
domain-driven-design
jupyenv
servant
training
delta-lake
processes
22 June 2023
Assumptions for Liquid Haskell in the large
A revamp of the mechanism for introducing assumptions
haskell
liquidhaskell
formal-methods
high-assurance
14 February 2023
smtlib-backends: faster SMT-LIB-based Haskell interface to SMT solvers
Announcement of smtlib-backends, a Haskell library providing a generic interface for interacting with SMT solvers using SMT-LIB
internship
haskell
formal-methods
liquidhaskell
high-assurance
28 July 2022
Profiling non-CPU time in Haskell
Limitations of the GHC profiler and announcement of the timestats library
haskell
liquidhaskell
profiling
21 July 2022
A dialogue with Liquid Haskell
New features to understand old verification failures
haskell
liquidhaskell
formal-methods
high-assurance
19 January 2022
Why Liquid Haskell matters
On the relevance of Liquid Haskell in programming languages
liquidhaskell
haskell
formal-methods
high-assurance
Company
About
Open Source
Careers
Contact Us
What we do
Strategy
Product Development
Platform Modernization
Digital Operations
Work
Insights
Modus Blog
Ospo Blog
Research
Innovation podcast
Connect with us
© 2024 Modus Create, LLC
Privacy Policy
Sitemap