The importance of being extrinsic : coherence and adequacy for a call-by-value language

Ponencia presentada en el 21st Brazilian Symposium on Programming Languages. Fortaleza, Brasil, 21 al 22 de septiembre de 2017.

Guardado en:

Detalles Bibliográficos
Autores principales:	Gadea, Alejandro Emilio, Gunther, Emmanuel, Pagano, Miguel María
Formato:	conferenceObject
Lenguaje:	Inglés
Publicado:	2025
Materias:	Computational adequacy Coherence Mechanization
Acceso en línea:	http://hdl.handle.net/11086/555060
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Behaviour abstraction adequacy criteria for API call protocol testing
por: Czemerinski, H., et al.

Behaviour abstraction adequacy criteria for API call protocol testing
por: Czemerinski, Hernán, et al.
Publicado: (2016)

Incentives for Supply Adequacy in Electricity Markets. An Application to the Mexican Power Sector
por: Víctor G. Carreón-Rodríguez, et al.
Publicado: (2009)

The use of coherent states in the theory of superfluidity.
por: Lopez, A.
Publicado: (1967)

Coherent states : applications in physics and mathematical physics /
por: Klauder, John R.
Publicado: (1985)

An introductory approach to the concept of spatial coherence
por: Rabal, Héctor Jorge, et al.
Publicado: (2014)

Coherent control of quantum systems as a resource theory
por: Matera, Juan Mauricio, et al.
Publicado: (2016)

Optical coherence and quantum optics /
por: Mandel, Leonard
Publicado: (1995)

On the coherence of synthetic turbulence generation methods
por: Castro, Hugo G., et al.
Publicado: (2017)

Coherence at episode boundaries in cooperative dialogues
por: Móccero, María Leticia
Publicado: (2010)

An introduction to coherent optics and holography /
por: Stroke, George W.
Publicado: (1966)

Quantization of the Taub model with extrinsic time
por: Catren, G., et al.

Quantization of the Taub model with extrinsic time
por: Catren, Gabriel, et al.
Publicado: (2001)

Coherence in spectroscopy and modern physics /
Publicado: (1978)

Signatures of nonlocality in the first-order coherence of scattered light
por: Cañizares, P., et al.

Signatures of nonlocality in the first-order coherence of scattered light
Publicado: (2007)

Prototipo rural de educación inicial en Santiago del Estero, Argentina: análisis, simulación y etiquetado térmico-energético para su adecuación bioclimática
por: Giuliano Raimondi, Gabriela María del Carmen, et al.
Publicado: (2016)

La adecuación formal como variable sensible al contexto cultural: tablas FQ de Argentina
por: Lunazzi de Jubany, Helena Ana, et al.
Publicado: (2009)

Coherence-length effects in fast atom diffraction at grazing incidence
por: Gravielle, M.S., et al.

Coherence-length effects in fast atom diffraction at grazing incidence
Publicado: (2018)

Extending low-coherence interferometry dynamic range using heterodyne detection
por: Cusato, Leslie, et al.
Publicado: (2020)

The theory of coherent atomic excitation /
por: Shore, Bruce W.
Publicado: (1990)

Para-Grassmann variables and coherent states
por: Cabra, Daniel Carlos, et al.
Publicado: (2006)

Teaching strategy for introducing beginners to coherent states
por: Plastino, Ángel Luis, et al.
Publicado: (2019)

Evolution of multiple quantum coherences with scaled dipolar Hamiltonian
por: Sánchez, Claudia Marina, et al.
Publicado: (2024)

por: Lopez, A.
Publicado: (1967)

Coherence and correlation in atomic collisions /
Publicado: (1980)

Scanning optical coherence tomography applied to the characterization of surfaces and coatings
por: Cerrotta, Santiago, et al.
Publicado: (2020)

Study of the red blood cell aggregation by coherent anti-Stokes Raman spectroscopy
por: Toderi, Martín A., et al.
Publicado: (2020)

Entanglement and coherence in a spin-s XXZ system under non-uniform fields
por: Ríos. E., et al.
Publicado: (2017)

Dynamical symmetries, coherent states and nonlinear realizations: The S O (2, 4) case
por: Arbuzov, A.B., et al.

Dynamical symmetries, coherent states and nonlinear realizations: The S O (2, 4) case
Publicado: (2018)

Dimensional characterization of large opaque samples and microdeformations by low coherence interferometry
por: Torga, Jorge, et al.
Publicado: (2020)

Coherent states, vacuum structure and infinite component relativistic wave equations
por: Cirilo-Lombardo, D.J.

Coherent states, vacuum structure and infinite component relativistic wave equations
por: Cirilo, Diego Julio
Publicado: (2016)

Low-coherence interferometry measurement of filling in porous silicon
por: Sallese, Marcelo, et al.
Publicado: (2020)

Carrier phase recovery without pilot symbols for non-differential coherent receivers
por: Castrillon, Mario A., et al.
Publicado: (2024)

EFL writing in college: development of coherence in written texts
por: Machado, Carlos
Publicado: (2021)

The co-construction of coherence at episode boundaries in cooperative dialogues
por: Móccero, María Leticia

Coherent control of a single molecule
por: Brinks, D., et al.