Sophia
Search
Search
Dark mode
Light mode
Explorer
Tag: definition
40 items with this tag.
Oct 01, 2026
Datalog
definition
Oct 01, 2026
Property Graph
definition
Oct 01, 2026
Alpha Equivalence
definition
Oct 01, 2026
BLAKE3
definition
Oct 01, 2026
Cycle Hashing
definition
algorithm
Oct 01, 2026
De Bruijn Index
definition
Oct 01, 2026
Hash Consing
definition
Oct 01, 2026
Merkle DAG
definition
Oct 01, 2026
UUID
definition
Oct 01, 2026
Julia Lowered IR
definition
Oct 01, 2026
Multiple Dispatch
definition
Oct 01, 2026
Pkgimage
definition
Oct 01, 2026
World Age
definition
Oct 01, 2026
LLVM Bitcode
definition
Oct 01, 2026
LLVM IR
definition
Oct 01, 2026
LLVM Pass
definition
Oct 01, 2026
LLVM
definition
Oct 01, 2026
SSA Form
definition
Oct 01, 2026
Sea of Nodes
definition
Oct 01, 2026
MLIR Dialect
definition
Oct 01, 2026
MLIR Lowering
definition
Oct 01, 2026
MLIR Operation
definition
Oct 01, 2026
MLIR
definition
Oct 01, 2026
Confluence and Termination
definition
theorem
Oct 01, 2026
Term Rewriting System
definition
Oct 01, 2026
Effect System
definition
Oct 01, 2026
Operational Semantics
definition
Oct 01, 2026
Definitional vs Propositional Equality
definition
Oct 01, 2026
Dependent Types
definition
Oct 01, 2026
Linear and Affine Types
definition
Oct 01, 2026
Normalization by Evaluation
definition
algorithm
Oct 01, 2026
Proof Assistant
definition
Oct 01, 2026
Type Theory
definition
overview
Oct 01, 2026
Content-Addressed Code
definition
Oct 01, 2026
Unison Abilities
definition
Oct 01, 2026
Unison Codebase
definition
Oct 01, 2026
Unison
definition
Oct 01, 2026
Core Calculus
design
definition
Oct 01, 2026
Equivalence and Witnesses
design
definition
Oct 01, 2026
Graph Schema
design
definition