Showing 1 - 20 results of 36 for search '"programming languages"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Reset Filters

Topic: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Reset Filters

Show filters (1)

Topic: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Search Results - Open Polar - "programming languages"

Search Results

Showing 1 - 20 results of 36 for search '"programming languages"', query time: 0.22s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

Perpetuality for full and safe composition (in a constructive setting)

by Kesner, Delia
Published 2008
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access

Conference Object
Select result number 2
2

Perpetuality for full and safe composition (in a constructive setting)

by Kesner, Delia
Published 2008
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access

Conference Object
Select result number 3
3

Perpetuality for full and safe composition (in a constructive setting)

by Kesner, Delia
Published 2008
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access

Conference Object
Select result number 4
4

On global types and multi-party sessions

by Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 5
5

On global types and multi-party sessions

by Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 6
6

On global types and multi-party sessions

by Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 7
7

A type checking algorithm for qualified session types

by Giunti, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Subjects: “...programming languages...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 8
8

A type checking algorithm for qualified session types

by Giunti, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Subjects: “...programming languages...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 9
9

Fair Subtyping for Multi-Party Session Types

by Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 10
10

Fair Subtyping for Multi-Party Session Types

by Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 11
11

Fair Subtyping for Multi-Party Session Types

by Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 12
12

Fair Subtyping for Multi-Party Session Types

by Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 13
13

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 14
14

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 15
15

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 16
16

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 17
17

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 18
18

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 19
19

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 20
20

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object