Logical relations, data abstraction, and structured fibrations
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Soundness of data refinement for a higher-order imperative language
Theoretical Computer Science
Information and Computation
Constructive Data Refinement in Typed Lambda Calculus
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Forward Simulation for Data Refinement of Classes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Data-Refinement for Call-By-Value Programming Languages
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Logical Relations and Data Abstraction
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Correctness of data representations involving heap data structures
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
Axiomatics for Data Refinement in Call by Value Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Axiomatic criteria for quotients and subobjects for higher-order data types
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Abstraction barrier-observing relational parametricity
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Correctness of data representations involving heap data structures
ESOP'03 Proceedings of the 12th European conference on Programming
Hi-index | 0.00 |