Finite Functional Programming

The corpus contains multiple programming-language and software-engineering papers with direct security relevance. Two items stand out for smart-contract security: (1) “Comparing Smart Contract Paradigms” reports a controlled comparison of 12 functionally-equivalent contract pairs implemented in Solidity and Move: Move implementations required ~60% fewer explicit runtime security checks (security check density 6.7% vs 16.8%, p=0.002) at the cost of ~47% larger code size, and developers reported higher safety confidence in Move; (2) “Open-World Assertion Checking for Smart Contracts via Game Sem