Skip to Content
🇫🇷 🇪🇺 Looking for experienced guidance on Lean software delivery? We'd be glad to explore how we can work together. Contact →
Advanced Software EngineeringAdvanced PatternsIntroduction

Advanced Patterns

Currying, implicit injection, interfaces and architectural decisions: advanced patterns.

Last updated on
Refinement and Dependent Types: Towards Types That ProveFrom Currying to Dynamic Scope: Threads of Implicit Injection