body: <record xmlns="http://www.openarchives.org/OAI/2.0/">
                          <header>
                              <identifier>oai:research.chalmers.se:507595</identifier>
                              <datestamp>2019-01-07T15:33:27Z</datestamp>
                              <setSpec>openaire</setSpec>
                          </header>
                          <metadata>
                              <oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
                                  <dc:title>Type theory as a framework for modelling and programming</dc:title>
                                  <dc:identifier>https://research.chalmers.se/en/publication/15372776-0258-4e7f-8dac-b585c7f6220f</dc:identifier>
                                  <dc:date>2018</dc:date>
                                              <dc:creator>Ionescu, Cezar</dc:creator>
                                              <dc:creator>Jansson, Patrik</dc:creator>
                                              <dc:creator>Botta, Nicola</dc:creator>
                                                  <dc:subject>Information Science</dc:subject>
                                                  <dc:subject>Computer Science</dc:subject>
                                                  <dc:subject>Computer Systems</dc:subject>
                                              <dc:subject>Software Technology</dc:subject>
                                              <dc:subject>Domain-specific languages</dc:subject>
                                              <dc:subject>Functional Programming</dc:subject>
                                              <dc:subject>Specification</dc:subject>
                                              <dc:subject>Dependent Types</dc:subject>
                                          <dc:description>In the context provided by the proceedings of the UVMP track of ISoLA 2016, we propose Type Theory as a suitable framework for both modelling and programming. We show that it fits most of the requirements put forward on such frameworks by Broy et al. and discuss some of the objections that can be raised against it.</dc:description>
                                                                  <dc:relation>info:eu-repo/grantAgreement/EC/H2020/676547//Centre of excellence for Global Systems Science (CoeGSS)/</dc:relation>
                                                  <dc:relation>info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-03418-4_8</dc:relation>
                                          <dc:type>info:eu-repo/semantics/article</dc:type>
                                          <dc:source> vol.11244(2018)</dc:source>
                                                      <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:language>eng</dc:language>
                                  <dc:audience>Researchers</dc:audience>
                                  <dc:format>application/pdf</dc:format>
                              </oai_dc:dc>
                          </metadata>
                      </record>