Morphing: Structurally shaping a class by reflecting on others
pág. 6
Automated termination proofs for haskell by term rewriting
Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann
pág. 7
Refinement types for secure implementations
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
pág. 8
© 2001-2024 Fundación Dialnet · Todos los derechos reservados