Skip to contents

Irvin, John [Other]; Carabatsos, Jim [Other]; Cheadle, Don [Other]; McDermott, Dylan [Other]; MacDonald, Peter [Other]; Glass, Philip [Other]

Hamburger Hill : nichts ist schockierender als die Wahrheit (1 Blu-Ray-Disc)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Grünwald: Concorde Home Entertainment, 2012 ; [S.l.]: RKO Pictures [Orig.-Prod.], 2012
Mayfield, Les [Other]; Seaton, George [Other]; Hughes, John [Other]; Davies, Valentine [Other]; Attenborough, Richard [Other]; Perkins, Elizabeth [Other]; McDermott, Dylan [Other]; Broughton, Bruce [Other]; Macat, Julio [Other]

Miracle on 34th street (1 Videokassette)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: 20th Century Fox Home Entertainment, 1995 ; [S.l.]: 20th Century Fox Film [Orig.-Prod.], 1995

Published in: Family feature
McDermott, Dylan [Author]

Reasoning about effectful programs and evaluation order

View online
Schließen

Access

https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-948.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2020

Published in: Technical report ; 948
McDermott, Dylan [Author]; Mycroft, Alan [Author] ; Dylan McDermott and Alan Mycroft [Contributor]

Galois Connecting Call-by-Value and Call-by-Name

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Arkor, Nathanael [Author]; McDermott, Dylan [Author] ; Nathanael Arkor and Dylan McDermott [Contributor]

Abstract Clones for Abstract Syntax

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
McDermott, Dylan; Mycroft, Alan

Galois connecting call-by-value and call-by-name

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Centre pour la Communication Scientifique Directe (CCSD), 2024

Published in: Logical Methods in Computer Science
McDermott, Dylan; Uustalu, Tarmo

Lecture Notes in Computer Science: Flexibly Graded Monads and Graded Algebras

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2022

Published in: Lecture Notes in Computer Science
McDermott, Dylan; Uustalu, Tarmo

What Makes a Strong Monad?

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2022

Published in: Electronic Proceedings in Theoretical Computer Science
McDermott, Dylan; Mycroft, Alan

Call-by-need effects via coeffects

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Walter de Gruyter GmbH, 2018

Published in: Open Computer Science
Kammar, Ohad; McDermott, Dylan

Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2018

Published in: Electronic Notes in Theoretical Computer Science
McDermott, Dylan; Mycroft, Alan

Programming Languages and Systems: Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2019

Published in: Programming Languages and Systems
Breuvart, Flavien; McDermott, Dylan; Uustalu, Tarmo

Canonical Gradings of Monads

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2023

Published in: Electronic Proceedings in Theoretical Computer Science
McDermott, Dylan; Morita, Yasuaki; Uustalu, Tarmo

Lecture Notes in Computer Science: A Type System with Subtyping for WebAssembly’s Stack Polymorphism

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2022

Published in: Lecture Notes in Computer Science
McDermott, Dylan; Rivas, Exequiel; Uustalu, Tarmo

Lecture Notes in Computer Science: Sweedler Theory of Monads

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2022

Published in: Lecture Notes in Computer Science
Katsumata, Shin-ya; McDermott, Dylan; Uustalu, Tarmo; Wu, Nicolas

Flexible presentations of graded monads

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2022

Published in: Proceedings of the ACM on Programming Languages
McDermott, Martina SJ; Conklin, Dylan F; O'Brien, Neil A; Chau, Kevin; Slamon, Dennis J

Abstract P2-05-07: Pan-cancer analysis of PARP inhibition reveals a suite of biomarkers that correlate with PARP1/2 activity in breast cancer

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

American Association for Cancer Research (AACR), 2020

Published in: Cancer Research
Sherry, Dylan; Veeramachaneni, Kalyan; McDermott, James; O’Reilly, Una-May

Applications of Evolutionary Computation: Flex-GP: Genetic Programming on the Cloud

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: Applications of Evolutionary Computation
Unger, Adrian; Shean, Dylan; da Silva, Fabio G; Nguyen, Jennifer; Beebe, Laura B; Dewire, Philip; Grzelak, Stephen; McDermott, Tom

Distributed Architecture for Monitoring Urban Air Quality: A Systems Engineering Approach

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2020

Published in: INCOSE International Symposium
Parkinson, Matthew; Vytiniotis, Dimitrios; Vaswani, Kapil; Costa, Manuel; Deligiannis, Pantazis; McDermott, Dylan; Blankstein, Aaron; Balkind, Jonathan

Project snowflake: non-blocking safe manual memory management in .NET

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2017

Published in: Proceedings of the ACM on Programming Languages
Nagle, Matthew; Roberts, Brian; Ryan, Dylan; McDermott, Lydia; Miller, Kathleen; Pasquarello, Claudine; Braddock, Anissa; Choi, Chum; Yang, Qiong; Hirose, Hitoshi

7: ECMO in community cardiac surgery program: comparable results?

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ovid Technologies (Wolters Kluwer Health), 2023

Published in: ASAIO Journal

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication