SWS

Results: 2096



#Item
361

Superficially Substructural Types (Technical Appendix) Neelakantan R. Krishnaswami MPI-SWS

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2012-03-19 04:06:36
    362

    ACCOMMODATION FORM Viajes El Corte Inglés (Dpto. Congresos) Telf.: EXT. 1 PERSONAL DETAILS

    Add to Reading List

    Source URL: learning.mpi-sws.org

    Language: English - Date: 2016-04-20 14:43:20
      363

      Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. A Modal Sequent Calculus for Propositional Separation Logic

      Add to Reading List

      Source URL: www.mpi-sws.org

      Language: English - Date: 2008-04-25 20:44:09
        364

        2015_11_SWS_Kundeninfo_03 ES.indd

        Add to Reading List

        Source URL: stadtwerke-stuttgart.de

        Language: German - Date: 2016-04-04 13:06:26
          365

          SWS MEDIA RELEASE: 25 JANUARY 2016 Page 1 ofMalingap St., Sikatuna Village, Quezon City Website: www.sws.org.ph Tel: ,

          Add to Reading List

          Source URL: www.sws.org.ph

          Language: English - Date: 2016-01-24 22:24:16
            366

            MLSS  2016  –  PracAdd to Reading List

            Source URL: learning.mpi-sws.org

            Language: English
              367

              2015_1308 SWS FORMULAR contracting.indd

              Add to Reading List

              Source URL: stadtwerke-stuttgart.de

              Language: German - Date: 2016-04-04 13:06:26
                368

                Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages Neel Krishnaswami and Jonathan Aldrich Carnegie Mellon University {neelk+, aldrich+}@cs.cmu.edu

                Add to Reading List

                Source URL: www.mpi-sws.org

                Language: English - Date: 2006-02-16 10:22:08
                  369

                  Mtac: A Monad for Typed Tactic Programming in Coq Beta Ziliani Max Planck Institute for Software Systems (MPI-SWS) joint work with Derek Dreyer (MPI-SWS),

                  Add to Reading List

                  Source URL: plv.mpi-sws.org

                  Language: English - Date: 2013-10-09 17:33:06
                    370

                    Internalizing Relational Parametricity in the Extensional Calculus of Constructions (Technical Appendix) Neelakantan R. Krishnaswami Derek Dreyer April 2013

                    Add to Reading List

                    Source URL: www.mpi-sws.org

                    Language: English - Date: 2013-04-16 04:33:56
                      UPDATE