E-LIB Suche - Ergebnisse für: Mackie, Ian

1

HTTPB: Integrate Blockchain into HTTP, A Method to Increase..:

, In: Proceedings of the 2022 3rd International Conference on E-commerce and Internet Technology (ECIT 2022),

Yan, Ziqi ; Khan, Imran ; Mackie, Ian - p. 359-366 , 2022

Link: https://doi.org/10.2991/..

2

A Reversible Operational Semantics for Imperative Programmi..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Fernández, Maribel ; Mackie, Ian - p. 91-106 , 2020

Link: https://doi.org/10.1007/..

3

Specification and Analysis of ABAC Policies via the Categor..:

, In: Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy,

Fernández, Maribel ; Mackie, Ian ; Thuraisingham, Bhavani - p. 173-184 , 2019

Link: https://dl.acm.org/doi/1..

4

Linearity and recursion in a typed Lambda-calculus:

, In: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming,

Alves, Sandra ; Fernández, Maribel ; Florido, Mário. - p. 173-182 , 2011

Link: https://dl.acm.org/doi/1..

5

NEUROPARALYTIC KERATITIS 370.35 (Neurotrophic Keratitis, Tr..:

, In: Roy and Fraunfelder's Current Ocular Therapy,

Mackie, Ian A. - p. 383-386 , 2008

Link: https://doi.org/10.1016/..

6

Nominal rewriting systems:

, In: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming,

Fernández, Maribel ; Gabbay, Murdoch J. ; Mackie, Ian - p. 108-119 , 2004

Link: https://dl.acm.org/doi/1..

7

YALE : yet another lambda evaluator based on interaction..:

, In: Proceedings of the third ACM SIGPLAN international conference on Functional programming,

Mackie, Ian - p. 117-128 , 1998

Link: https://dl.acm.org/doi/1..

8

The geometry of interaction machine:

, In: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Mackie, Ian - p. 198-208 , 1995

Link: https://dl.acm.org/doi/1..

9

Injury Prevention and Environmental Health: Key Messages fr..:

, In: Disease Control Priorities, Third Edition (Volume 7): Injury Prevention and Environmental Health,

Mock, Charles N. ; Smith, Kirk R. ; Kobusingye, Olive... - p. 1-23 , 2017

Link: https://doi.org/10.1596/..

10

Contributors:

, In: The Autoimmune Diseases,

Alderuccio, Frank ; Alexander, Elaine L. ; Alm, Gunnar V.... - p. xi-xiv , 2006

Link: https://doi.org/10.1016/..

11

Contributors:

, In: Oh's Intensive Care Manual,

Bellomo, Rinaldo ; Bersten, Andrew D ; Bihari, David... - p. xiii-xvi , 2009

Link: https://doi.org/10.1016/..

12

Contributors:

, In: Seafloor Geomorphology as Benthic Habitat,

Acosta, Juan ; Allee, Rebecca J. ; Althaus, Franziska... - p. xxxi-xlv , 2012

Link: https://doi.org/10.1016/..