Skip to contents

Launchbury, John; Paterson, Ross

Programming Languages and Systems — ESOP '96: Parametricity and unboxing with unpointed types

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, 1996

Published in: Programming Languages and Systems — ESOP '96
Launchbury, John; Baraki, Gebreselassie

Representing demand by partial projections

View online
Schließen

Access

Close

Bookmarks

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

Cambridge University Press (CUP), 1996

Published in: Journal of Functional Programming
Fisher, Kathleen; Launchbury, John; Richards, Raymond

The HACMS program: using formal methods to eliminate exploitable bugs

View online
Schließen

Access

Close

Bookmarks

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

The Royal Society, 2017

Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Fisher, Kathleen; Launchbury, John; Richards, Raymond

The HACMS program: using formal methods to eliminate exploitable bugs

View online
Schließen

Access

Close

Bookmarks

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

THE ROYAL SOCIETY, 2017

Published in: Philosophical Transactions: Mathematical, Physical and Engineering Sciences
Erkök, Levent; Launchbury, John; Moran, Andrew

Semantics of value recursion for Monadic Input/Output

View online
Schließen

Access

Close

Bookmarks

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

EDP Sciences, 2002

Published in: RAIRO - Theoretical Informatics and Applications
Krstić, Sava; Launchbury, John; Pavlović, Duško

Lecture Notes in Computer Science: Categories of Processes Enriched in Final Coalgebras

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, 2001

Published in: Lecture Notes in Computer Science
Launchbury, John; Lewis, Jeffrey R.; Cook, Byron

On embedding a microarchitectural design language within Haskell

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), 1999

Published in: ACM SIGPLAN Notices
Launchbury, John; Peyton Jones, Simon L

State in Haskell

View online
Schließen

Access

Close

Bookmarks

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

Springer Science and Business Media LLC, 1995

Published in: LISP and Symbolic Computation
Launchbury, John; Peyton Jones, Simon L.

Lazy functional state threads

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), 1994

Published in: ACM SIGPLAN Notices
Jones, Simon L Peyton; Launchbury, John

Functional Programming Languages and Computer Architecture: Unboxed values as first class citizens in a non-strict functional language

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, 1991

Published in: Functional Programming Languages and Computer Architecture
Cook, Byron; Launchbury, John; Matthews, John; Kieburtz, Dick

Lecture Notes in Computer Science: Formal Verification of Explicitly Parallel Microprocessors

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, 1999

Published in: Lecture Notes in Computer Science
Peyton Jones, Simon L.; Hughes, John; Launchbury, John

How to give a good research talk

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), 1993

Published in: ACM SIGPLAN Notices
Launchbury, John; Archer, Dave; DuBuisson, Thomas; Mertens, Eric

Programming Languages and Systems: Application-Scale Secure Multiparty Computation

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, 2014

Published in: Programming Languages and Systems
Elliott, Trevor; Pike, Lee; Winwood, Simon; Hickey, Pat; Bielman, James; Sharp, Jamey; Seidel, Eric; Launchbury, John

Guilt free ivory

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), 2016

Published in: ACM SIGPLAN Notices
Hickey, Patrick C.; Pike, Lee; Elliott, Trevor; Bielman, James; Launchbury, John

Building embedded systems with embedded DSLs

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), 2014

Published in: ACM SIGPLAN Notices
Launchbury, John; Diatchki, Iavor S.; DuBuisson, Thomas; Adams-Moran, Andy

Efficient lookup-table protocol in secure multiparty computation

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), 2012

Published in: ACM SIGPLAN Notices
Pelzer, Elise S.; Allan, John A.; Cunningham, Kelly; Mengersen, Kerrie; Allan, Janet M.; Launchbury, Tara; Beagley, Kenneth; Knox, Christine L.

Microbial colonization of follicular fluid: alterations in cytokine expression and adverse assisted reproduction technology outcomes

View online
Schließen

Access

Close

Bookmarks

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

Oxford University Press (OUP), 2011

Published in: Human Reproduction
Wood, Jack I.; Wong, Eugenia; Joghee, Ridwaan; Balbaa, Aya; Vitanova, Karina S.; Stringer, Katie M.; Vanshoiack, Alison; Phelan, Stefan-Laural J.; Launchbury, Francesca; Desai, Sneha; Tripathi, Takshashila; Hanrieder, Jörg; Cummings, Damian M.; Hardy, John; Edwards, Frances A.

Plaque contact and unimpaired Trem2 is required for the microglial response to amyloid pathology

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2022

Published in: Cell Reports
Wood, Jack; Wong, Eugenia; Joghee, Ridwaan; Balbaa, Aya; Vitanova, Karina S.; Vanshoiack, Alison; Phelan, Stefan-Laural J.; Launchbury, Francesca; Desai, Sneha; Tripathi, Takshashila; Hanrieder, Jörg; Cummings, Damian Michael; Hardy, John A.; Edwards, Frances Aline

Upregulation of Trem2 Expression Occurs Exclusively on Microglial Contact with Plaques

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2022

Published in: SSRN Electronic Journal
Jaunmuktane, Zane; Mead, Simon; Ellis, Matthew; Wadsworth, Jonathan D. F.; Nicoll, Andrew J.; Kenny, Joanna; Launchbury, Francesca; Linehan, Jacqueline; Richard-Loendt, Angela; Walker, A. Sarah; Rudge, Peter; Collinge, John; Brandner, Sebastian

Erratum: Evidence for human transmission of amyloid-β pathology and cerebral amyloid angiopathy

View online
Schließen

Access

Close

Bookmarks

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

Springer Science and Business Media LLC, 2015

Published in: Nature

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