H
F
Articles from hirrolot.github.io
Articles from hirrolot.github.io
Channels
Economy
World
Technology
Programming
New/Niche Languages
JavaScript Stack
Chinese
Articles from
hirrolot.github.io
Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language
(
hirrolot.github.io
)
2024-4-23
programming
Solving SAT via Positive Supercompilation
(
hirrolot.github.io
)
2024-2-2
Fueled Evaluation for Decidable Type Checking
(
hirrolot.github.io
)
2024-1-27
Why Static Languages Suffer From Complexity (and type-safe printf implementation without macros)
(
hirrolot.github.io
)
2023-8-10
Compiler Development: Rust or OCaml?
(
hirrolot.github.io
)
2023-8-7
Rust
How to Keep Lambda Calculus Simple
(
hirrolot.github.io
)
2023-8-3
lambda
How to Keep Lambda Calculus Simple
(
hirrolot.github.io
)
2023-7-25
lambda
How to Keep Lambda Calculus Simple
(
hirrolot.github.io
)
2023-7-9
lambda
Previous Page
Next Page