Chalmers

Results: 1415



#Item
71

Flexible Dynamic Information Flow Control in Haskell Deian Stefan1 Alejandro Russo2 John C. Mitchell1

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2011-07-18 04:35:26
    72

    Type Theory and Univalent Foundation Thierry Coquand Clermont-Ferrand, October 17, 2013 Type Theory and Univalent Foundation

    Add to Reading List

    Source URL: www.cse.chalmers.se

    Language: English - Date: 2013-10-16 04:43:16
      73

      Chalmers tekniska högskola Institutionen för byggnadsmaterial Publikation P-98:13 Arb nr 583 2:a upplagan

      Add to Reading List

      Source URL: www.fuktcentrum.lth.se

      Language: Swedish - Date: 2008-12-09 06:52:30
        74

        StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java? Jes´ us Mauricio Chimento1 , Wolfgang Ahrendt1 , Gordon J. Pace2 , and Gerardo Schneider3

        Add to Reading List

        Source URL: www.cse.chalmers.se

        Language: English - Date: 2015-09-23 08:29:44
          75

          Implicit flows in malicious and nonmalicious code Alejandro RUSSO a , Andrei SABELFELD a Keqin LI b a Chalmers University of Technology, Sweden b

          Add to Reading List

          Source URL: www.cse.chalmers.se

          Language: English - Date: 2009-10-12 08:39:47
            76

            Towards a Taint Mode for Cloud Computing Web Applications Luciano Bello Alejandro Russo Chalmers University of Technology

            Add to Reading List

            Source URL: www.cse.chalmers.se

            Language: English - Date: 2012-04-25 16:17:01
              77

              Voevodsky’s Univalent Foundation of Mathematics Thierry Coquand Bonn, May 15, 2018 Voevodsky’s Univalent Foundation of Mathematics

              Add to Reading List

              Source URL: www.cse.chalmers.se

              Language: English - Date: 2018-05-16 04:26:31
                78

                Local coordination and
 symmetry breaking Jukka Suomela Aalto University, Finland Chalmers, 16 October 2015

                Add to Reading List

                Source URL: users.ics.aalto.fi

                Language: English - Date: 2015-10-15 16:05:20
                  79

                  Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C

                  Add to Reading List

                  Source URL: web.student.chalmers.se

                  Language: English - Date: 2010-08-22 03:55:59
                    80

                    Constructive semantics of Univalence Dependent type theory Γ, ∆

                    Add to Reading List

                    Source URL: www.cse.chalmers.se

                    Language: English - Date: 2016-05-01 04:38:08
                      UPDATE