Showing 141 - 160 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 141 - 160 results of 710 for search '"programming language"', query time: 0.74s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 141
141

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

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

by Liquori, Luigi, Stolze, Claude
Published 2020
Subjects: “...Computer Science - Programming Languages...”

Get access

Text
Select result number 143
143

Implementing Object-Based Distributed Shared Memory on Transputers

by Heinz-Peter Heinzle, Henri E. Bal, Koen Langendoen
Published 1994
Subjects: “...parallel programming languages...”

Get access

Text
Select result number 144
144

A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math

by Wonnacott, David G., Osera, Peter-Michael
Published 2019
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Article in Journal/Newspaper
Select result number 145
145

Dependent Session Types

by Wu, Hanwen, Xi, Hongwei
Published 2017
Subjects: “...Computer Science - Programming Languages...”

Get access

Text
Select result number 146
146

Dependent Types for Multi-Rate Flows in Synchronous Programming

by Blair, William, Xi, Hongwei
Published in Electronic Proceedings in Theoretical Computer Science (2017)
Subjects: “...Computer Science - Programming Languages...”

Get access
Get access

Text
Select result number 147
147

Buffer Overflow Analysis for C

by Khedker, Uday P.
Published 2014
Subjects: “...Computer Science - Programming Languages...”

Get access

Text
Select result number 148
148

A Case Study on Logical Relations using Contextual Types

by Cave, Andrew, Pientka, Brigitte
Published 2015
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Text
Select result number 149
149

SURVEY OF MANAGEMENT INFORMATION SYSTEMS AND THEIR LANGUAGES

by Fry, James P., Gosden, John A.
Published 1968
Subjects: “...PROGRAMMING LANGUAGES...”

Get access
Get access

Text
Select result number 150
150

Explicit Refinement Types

by Ghalayini, Jad Elkhaleq, Krishnaswami, Neel
Published in Proceedings of the ACM on Programming Languages (2023)
Subjects: “...Computer Science - Programming Languages...”

Get access
Get access

Text
Select result number 151
151

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

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

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

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

The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space

by Forster, Yannick, Kunze, Fabian, Roth, Marc
Published 2019
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Report
Select result number 156
156

Building the access pointers to a computation environment

by Wolfengagen, Viacheslav
Published 2001
Subjects: “...Computer Science - Programming Languages...”

Get access

Text
Select result number 157
157

Ship Design and Maintenance Computer Program (Icebreaker Propulsion System Simulation. Diesel - Electric)

by Lewis, Jack W
Published 1968
Subjects: “...fortran 4 programming language...”

Get access
Get access

Text
Select result number 158
158

North Atlantic (NAT) Aided Inertial Navigation System Simulation. Volume II. Computer Program NATNAV User's Manual.

by Hoffman,William C., Bowie,Kathryn G.
Published 1973
Subjects: “...FORTRAN 4 programming language...”

Get access
Get access

Text
Select result number 159
159

Reducing Laser Profiles on a Tabletop Computer.

by Lohanick,Alan W
Published 1981
Subjects: “...BASIC programming language...”

Get access
Get access

Text
Select result number 160
160

Preliminary Version: Ada (Trade Name)/SQL: A Standard, Portable Ada-DBMS Interface.

by Brykczynski,Bill R, Friedman,Fred
Published 1987
Subjects: “...Ada Programming Language...”

Get access
Get access

Text