Type system

Results: 9144



#Item
1Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors

Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2012-09-30 08:41:25
2The Academic Failure with Alloy Alloy  Amazing Type System

The Academic Failure with Alloy Alloy Amazing Type System

Add to Reading List

Source URL: alloytools.org

- Date: 2018-06-13 06:07:43
    3A Type System for Privacy Properties

    A Type System for Privacy Properties

    Add to Reading List

    Source URL: acmccs.github.io

    Language: English - Date: 2017-12-30 21:51:59
      4A Verified Type System for CakeML Yong Kiam Tan Scott Owens  IHPC, A*STAR

      A Verified Type System for CakeML Yong Kiam Tan Scott Owens IHPC, A*STAR

      Add to Reading List

      Source URL: cakeml.org

      Language: English - Date: 2016-09-08 10:14:27
      5Technical Report no. 2007:1  Integration of a Security Type System into a Program Logic Reiner H¨ahnle, Jing Pan, Philipp R¨ummer, Dennis Walter

      Technical Report no. 2007:1 Integration of a Security Type System into a Program Logic Reiner H¨ahnle, Jing Pan, Philipp R¨ummer, Dennis Walter

      Add to Reading List

      Source URL: www.philipp.ruemmer.org

      Language: English - Date: 2015-10-30 07:54:22
        6A New Type System for Secure Information Flow Geoffrey Smith School of Computer Science Florida International University Miami, Florida 33199, USA

        A New Type System for Secure Information Flow Geoffrey Smith School of Computer Science Florida International University Miami, Florida 33199, USA

        Add to Reading List

        Source URL: users.cis.fiu.edu

        Language: English - Date: 2009-09-17 09:07:51
          7INTERMEDIATE SHAFT BEARING  KMFN TYPE (FORCED LUBRICATION SYSTEM) INSTRUCTION

          INTERMEDIATE SHAFT BEARING KMFN TYPE (FORCED LUBRICATION SYSTEM) INSTRUCTION

          Add to Reading List

          Source URL: www.kemel.com

          Language: English - Date: 2016-11-09 23:33:00
            8Coccolithophore growth and calcification in a changing ocean: Development of a new phytoplankton functional type for an Earth System Model Kristen Krumhardt1, Nicole Lovenduski2, M. Debora Iglesias-Rodriguez3, Joan A. Kl

            Coccolithophore growth and calcification in a changing ocean: Development of a new phytoplankton functional type for an Earth System Model Kristen Krumhardt1, Nicole Lovenduski2, M. Debora Iglesias-Rodriguez3, Joan A. Kl

            Add to Reading List

            Source URL: www.icdc10.unibe.ch

            Language: English - Date: 2017-11-20 09:00:34
              9Minimum System Requirements for EngView Package & Display Designer Suite Version 6 Operating Systems Processor type and speed RAM

              Minimum System Requirements for EngView Package & Display Designer Suite Version 6 Operating Systems Processor type and speed RAM

              Add to Reading List

              Source URL: www.engview.com

              - Date: 2015-12-14 08:24:11
                10Formalizing the SAFECode Type System Daniel Huang and Greg Morrisett Harvard University, Cambridge MA 02138, USA, ,

                Formalizing the SAFECode Type System Daniel Huang and Greg Morrisett Harvard University, Cambridge MA 02138, USA, ,

                Add to Reading List

                Source URL: danehuang.github.io

                Language: English - Date: 2017-05-24 19:52:40