Linear Dependent Types in a Call-By-Value Scenario

doi 10.1145/2370776.2370792
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Call-By-Need Is Clairvoyant Call-By-Value

Proceedings of the ACM on Programming Languages
2019English

Mixin Modules in a Call-By-Value Setting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Secure Distributed Programming With Value-Dependent Types

ACM SIGPLAN Notices
Computer Science
2011English

Call-By-Value Is Dual to Call-By-Name – Reloaded

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Abstract Machines for Open Call-By-Value

Science of Computer Programming
Software
2019English

Towards a Semantic Measure of the Execution Time in Call-By-Value Lambda-Calculus

EasyChair Preprints
2018English

A Role for Dependent Types in Haskell

Proceedings of the ACM on Programming Languages
2019English

Numerical of a Call Centre With Two Types of Queue

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

Two Distinct Types of Linear Distribution in Nonmass Enhancement at Breast MR Imaging: Difference in Positive Predictive Value Between Linear and Branching Patterns

Radiology
Nuclear MedicineRadiologyImaging
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy