Zmiana języka

Projects search

Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

2011/03/B/ST6/00348

Keywords

Descriptors

  • ST6_3: Metody formalne
  • ST6_7: Teoretyczne podstawy informatyki, w tym informatyka kwantowa

Panel

ST6 – Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Voivodeship: dolnośląskie

Other projects carried out by the institution »

Principal investigator (from the host institution)

dr Małgorzata Biernacka

Number of co-investigators in the project: 5

Call

OPUS 2 – announced on 2011-09-15

Amount awarded
399 220 PLN
Project start date
2012-08-31
Project end date
2016-02-29
Project duration
42 months (the same as in the proposal)
Project status
Project settled

Equipment purchased [PL]

  1. adapter HDMI-microHDMI, kabel HDMI.
  2. adapter VGA.
  3. dysk twardy z etui.
  4. etui na laptopa.
  5. laptop. Cost: 10 000 PLN
  6. myszka komputerowa 3 sztuki.
  7. słuchawki nauszne 2 pary.

Information in the final report

Publication in academic press/journals (1)

  1. Subtyping Delimited Continuations

    Authors:
    M. Materzok, D. Biernacki
    Status:
    Accepted for publication

Articles in post-conference publications (7)

  1. Environmental Bisimulations for Delimited-Control Operators

    Authors:
    D. Biernacki, S. Lenglet
    Conference:
    11th Asian Symposium on Programming Languages and Systems (year: 2013, pages: 333-348), Publisher: Springer
    Date:
    conference 9-11 December
    Status:
    Published

  2. Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus

    Authors:
    Dariusz Biernacki, Sergueï Lenglet
    Conference:
    30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX) (year: 2014, pages: 49-64), Publisher: Elsevier
    Date:
    conference June 12-15
    Status:
    Published
    DOI:
    link to the publication

  3. An operational foundation for the tactic language of Coq

    Authors:
    W. Jedynak, M. Biernacka, D. Biernacki
    Conference:
    15th International Symposium on Principles and Practice of Declarative Programming (year: 2013, pages: 25-36), Publisher: ACM
    Date:
    conference September 16-18
    Status:
    Published
    DOI:
    link to the publication

  4. Logical Relations for Coherence of Effect Subtyping.

    Authors:
    Dariusz Biernacki, Piotr Polesiuk
    Conference:
    Typed Lambda Calculi and Applications (year: 2015, pages: 107-122), Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
    Date:
    conference July 1-3
    Status:
    Published

  5. Axiomatizing Subtyped Delimited Continuations

    Authors:
    M. Materzok
    Conference:
    Computer Science Logic (year: 2013, pages: 521-539), Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Date:
    conference September 2-5
    Status:
    Published
    DOI:
    link to the publication

  6. A Dynamic Interpretation of the CPS Hierarchy

    Authors:
    M. Materzok, D. Biernacki
    Conference:
    10th Asian Symposium on Programming Languages and Systems (year: 2012, pages: 296-311), Publisher: Springer
    Date:
    conference December 11-13
    Status:
    Published
    DOI:
    link to the publication

  7. Proving termination of evaluation for System F with control operators

    Authors:
    M. Biernacka, D. Biernacki, S. Lenglet, M. Materzok
    Conference:
    First Workshop on Control Operators and their Semantics (year: 2013, pages: 15-29), Publisher: EPTCS
    Date:
    conference June 24-25
    Status:
    Published
    DOI:
    link to the publication

« New search

Graphic design and implementation: Jakub Piotrowski