Zum Inhalt springen

Launchbury, John; Paterson, Ross

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1996

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

Representing demand by partial projections

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 1996

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

The HACMS program: using formal methods to eliminate exploitable bugs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

The Royal Society, 2017

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

THE ROYAL SOCIETY, 2017

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

Semantics of value recursion for Monadic Input/Output

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

EDP Sciences, 2002

Erschienen 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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2001

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

On embedding a microarchitectural design language within Haskell

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 1999

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

State in Haskell

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 1995

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

Lazy functional state threads

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 1994

Erschienen 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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1991

Erschienen 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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1999

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

How to give a good research talk

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 1993

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

Programming Languages and Systems: Application-Scale Secure Multiparty Computation

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2014

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

Guilt free ivory

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2016

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

Building embedded systems with embedded DSLs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2014

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

Efficient lookup-table protocol in secure multiparty computation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2012

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford University Press (OUP), 2011

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2022

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2022

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2015

Erschienen in: Nature

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr