CORE
COnnecting
REpositories
  • Services overviewExplore all CORE services
  • Access to raw data

    • API
    • Dataset
    • FastSync
  • Content discovery

    • Recommender
    • Discovery
  • OAI identifiers

    • OAI Resolver
  • Managing content

    • Dashboard
  • Bespoke contracts

    • Consultancy services
  • Support us

      MembershipSponsorshipResearch partnership
  • About

    • About us
    • Our mission
    • Team
    • Blog
    • FAQs
    • Contact us
  • Community governance

    • Governance
    • Advisory Board
    • Board of supporters
    • Research network
  • Innovations

    • Our research
    • Labs

    2 research outputs found

    SeLINQ

    Author
    1. Chlipala A.
    2. Chong S.
    3. Converter BNF
    4. Cooper E.
    5. Database Internet Movie
    6. Davis B.
    7. Domingo-Ferrer J.
    8. Giffin D. B.
    9. Guernic G. L.
    10. Hedin D.
    11. Language-Integrated LINQ
    12. Lourenço L.
    13. Myers A. C.
    14. OWASP
    15. Privileges Provided
    16. Rails Ruby
    17. Roles Database
    18. Sabelfeld A.
    19. Server Authorization
    20. Simonet V.
    21. SQL
    22. Toolkit Google Web
    Publication venue
    'Association for Computing Machinery (ACM)'
    Publication date
    Field of study
    No full text
    Crossref
    corecore

    CORE (COnnecting REpositories) is a not-for-profit service hosted by The Open University supported by CORE Members.

    Product
    • Services
    • Membership
    • Sponsorship
    • Labs
    Organisation
    • About us
    • Governance
    • Team
    • Data providers
    Support
    • Terms
    • FAQs
    • Blog
    • Contact us
    Writing about CORE?

    Discover our research outputs and cite our work.

    Follow us:
    COREAccessibilityCookiesPrivacy