Fermín Reig

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang
A portable virtual machine target for proof-carrying code. Sci. Comput. Program. 57 (3) (2005)
Fermín Reig
Generic proofs for combinator-based generic programs. Trends in Functional Programming (2004)
Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermín Reig, Ning Wang
A portable Virtual Machine target for Proof-Carrying Code. IVME (2003)