Poll, Erik (1967-)

A logic for the Java modeling language JML / B.P.F. Jacobs, E. Pollschema:ProductModel A monad for basic Java semantics / B.P.F. Jacobs, E. Pollschema:ProductModel Formal specification and verification of JavaCard's application identifier class / J.A.G.M. van den Berg, B.P.F. Jacobs, E. Pollschema:ProductModel Formal specification and verification of JavaCard's application identifier class / J.A.G.M. van den Berg, B.P.F. Jacobs, E. Pollschema:ProductModel Formal techniques for Java-like programs (FTfJP'2002) : proceedings of the ECOOP workshop / E. Poll (ed.)schema:ProductModel Pure type systems with definitions / by Paula Severi and Erik Pollschema:ProductModel Reasoning about card tears and transactions in Java Card / E.M.G.M. Hubbers, E. Pollschema:ProductModel Software security / course team dr. ir. H.P.E. Vranken, chairman and editor, dr. ir. E. Poll, author, dr. ir A.J.F. Kok, reader ; editor Arnold van der Leerschema:ProductModel Software security / cursusteam dr. ir. H.P.E. Vranken, cursusteamleider en auteur, dr. ir. E. Poll, auteur, dr. ir A.J.F. Kok, meelezer ; redactie Arnold van der Leerschema:ProductModel Software security / H.P.E. Vrankenschema:ProductModel Software security / H.P.E. Vrankenschema:ProductModel

A Java reference model of transacted memory for smart cards / E. Poll, P. Hartel, E. de Jongschema:ProductModel A Java reference model of transacted memory for smart cards / E. Poll, P. Hartel, E. de Jongschema:ProductModel A programming logic based on type theory / Erik Pollschema:ProductModel A programming logic for F→ō⇋ / by Erik Pollschema:ProductModel A typechecker for bijective pure type systems / by Erik Pollschema:ProductModel Cpo-models for second order lambda calculus with recersive types and subtyping / by Erik Pollschema:ProductModel Formal specification of the JavaCard API in JML: the APDU class / E. Poll, J.A.G.M. van den Berg, B.P.F. Jacobsschema:ProductModel Formal specification of the JavaCard API in JML: the APDU class / E. Poll, J.A.G.M. van den Berg, B.P.F. Jacobsschema:ProductModel From algebras and coalgebras to dialgebras / E. Poll, J. Zwanenburgschema:ProductModel From algebras and coalgebras to dialgebras / Erik Poll and Jan Zwanenburgschema:ProductModel Some categorical properties for a model for second order lambda calculus with subtyping / by Erik Pollschema:ProductModel Specification of the JavaCard API in JML / E. Poll, J.A.G.M. van den Berg, B.P.F. Jacobsschema:ProductModel Specification of the JavaCard API in JML / E. Poll, J.A.G.M. van den Berg, B.P.F. Jacobsschema:ProductModel The type system of Aldor / E. Poll, S. Thompsonschema:ProductModel