Showing 161 - 180 results of 710 for search '"programming language"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Search Results - Open Polar - "programming language"

Search Results

Showing 161 - 180 results of 710 for search '"programming language"', query time: 0.55s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 161
161

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 162
162

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 163
163

Creating and maintaining effective large scale scientific computing applications Balancing ease-of-use, extensibility, and performance requirements

by Barrett, R. F.
Published 2021
Subjects: “...PROGRAMMING LANGUAGES...”

Get access
Get access
Select result number 164
164

A Type Checker for a Logical Framework with Union and Intersection Types

by Liquori, Luigi, Stolze, Claude
Published 2020
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Article in Journal/Newspaper
Select result number 165
165

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 166
166

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 167
167

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 168
168

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 169
169

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 170
170

Buffer Overflow Analysis for C

by Khedker, Uday P.
Published 2014
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Report
Select result number 171
171

SMARTBASE: Natural language processing in database query

by Balean, Jovy, Chuang, Florence C.Eugene L., Yu, Alexandra Y.
Published 1993
Subjects: “...Programming languages (Electronic computers)...”

Get access

Text
Select result number 172
172

Dependent Session Types

by Wu, Hanwen, Xi, Hongwei
Published 2017
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Report
Select result number 173
173

Dependent Types for Multi-Rate Flows in Synchronous Programming

by Blair, William, Xi, Hongwei
Published 2017
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Text
Select result number 174
174

Explicit Refinement Types ...

by Ghalayini, Jad Elkhaleq, Krishnaswami, Neel
Published 2023
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Text
Select result number 175
175

An Effectful Way to Eliminate Addiction to Dependence

by Pédrot, Pierre-Marie, Tabareau, Nicolas
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 176
176

Building the access pointers to a computation environment

by Wolfengagen, Viacheslav
Published 2001
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Text
Select result number 177
177

Dependent Types and Program Equivalence

by Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich
Subjects: “...Categories and Subject Descriptors D.3.1 [Programming Languages...”

Get access
Get access

Text
Select result number 178
178

Dependent types and program equivalence

by Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich
Published 2009
Subjects: “...Categories and Subject Descriptors D.3.1 [Programming Languages...”

Get access
Get access

Text
Select result number 179
179

WAND User's Guide. Addendum.

by Zisman,Michael D
Published 1976
Subjects: “...PROGRAMMING LANGUAGES...”

Get access
Get access

Text
Select result number 180
180

An Effectful Way to Eliminate Addiction to Dependence

by Pédrot, Pierre-Marie, Tabareau, Nicolas
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