Skip to contents Launchbury, John [Editor] ; International School on Advanced Functional Programming 2 1996 Olympia, Wash Advanced functional programming : second international school, Olympia, WA, USA, August 26 - 30, 1996; tutorial text Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1129 Rocha, Ricardo [Editor]; Launchbury, John [Other] ; PADL 13 2011 Austin, Tex Practical aspects of declarative languages : 13th international symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6539 Launchbury, John [Author] ; Meijer, Erik [Other]; Sheard, Tim [Other] Advanced Functional Programming : Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text Books 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. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996 Published in: Lecture notes in computer science ; 1129 Rocha, Ricardo [Author] ; Launchbury, John [Other] Practical Aspects of Declarative Languages : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings Books 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. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6539 Launchbury, John [Other] Advanced functional programming : second international school, Olympia, WA, USA, August 26 - 30, 1996 ; tutorial text Books 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. Berlin [u.a.]: Springer, 1996 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 112900 Launchbury, John Theorem-based circuit derivation in cryptol Articles 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 Launchbury, John Galois : high assurance software : high assurance software Articles 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), 2004 Published in: ACM SIGPLAN Notices Launchbury, John Advanced Functional Programming: Graph algorithms with a functional flavour Articles 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, 1995 Published in: Advanced Functional Programming Launchbury, John Functional Programming Languages and Computer Architecture: A strongly-typed self-applicable partial evaluator Articles 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 Launchbury, John An introduction to functional programming through lambda calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1991 Published in: Science of Computer Programming Launchbury, John Strictness analysis aids inductive proofs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1990 Published in: Information Processing Letters Launchbury, John Strictness and binding-time analyses : two for the price of one : two for the price of one Articles 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), 1991 Published in: ACM SIGPLAN Notices Matthews, John; Launchbury, John Computer Aided Verification: Elementary Microarchitecture Algebra Articles 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: Computer Aided Verification Hughes, John; Launchbury, John Reversing abstract interpretations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1994 Published in: Science of Computer Programming Hughes, John; Launchbury, John ESOP '92: Reversing abstract interpretations Articles 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, 1992 Published in: ESOP '92 HUGHES, JOHN; LAUNCHBURY, JOHN Relational Reversal of Abstract Interpretation Articles 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), 1992 Published in: Journal of Logic and Computation Launchbury, John; Elliott, Trevor Concurrent orchestration in Haskell Articles 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), 2010 Published in: ACM SIGPLAN Notices Erkök, Levent; Launchbury, John Recursive monadic bindings Articles 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), 2000 Published in: ACM SIGPLAN Notices Cook, Byron; Launchbury, John Disposable memo functions (extended abstract) Articles 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), 1997 Published in: ACM SIGPLAN Notices Launchbury, John; Sabry, Amr Monadic state : axiomatization and type safety : axiomatization and type safety Articles 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), 1997 Published in: ACM SIGPLAN Notices
Launchbury, John [Editor] ; International School on Advanced Functional Programming 2 1996 Olympia, Wash Advanced functional programming : second international school, Olympia, WA, USA, August 26 - 30, 1996; tutorial text Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1129
Rocha, Ricardo [Editor]; Launchbury, John [Other] ; PADL 13 2011 Austin, Tex Practical aspects of declarative languages : 13th international symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6539
Launchbury, John [Author] ; Meijer, Erik [Other]; Sheard, Tim [Other] Advanced Functional Programming : Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text Books 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. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996 Published in: Lecture notes in computer science ; 1129
Rocha, Ricardo [Author] ; Launchbury, John [Other] Practical Aspects of Declarative Languages : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings Books 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. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6539
Launchbury, John [Other] Advanced functional programming : second international school, Olympia, WA, USA, August 26 - 30, 1996 ; tutorial text Books 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. Berlin [u.a.]: Springer, 1996 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 112900
Launchbury, John Theorem-based circuit derivation in cryptol Articles 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
Launchbury, John Galois : high assurance software : high assurance software Articles 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), 2004 Published in: ACM SIGPLAN Notices
Launchbury, John Advanced Functional Programming: Graph algorithms with a functional flavour Articles 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, 1995 Published in: Advanced Functional Programming
Launchbury, John Functional Programming Languages and Computer Architecture: A strongly-typed self-applicable partial evaluator Articles 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
Launchbury, John An introduction to functional programming through lambda calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1991 Published in: Science of Computer Programming
Launchbury, John Strictness analysis aids inductive proofs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1990 Published in: Information Processing Letters
Launchbury, John Strictness and binding-time analyses : two for the price of one : two for the price of one Articles 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), 1991 Published in: ACM SIGPLAN Notices
Matthews, John; Launchbury, John Computer Aided Verification: Elementary Microarchitecture Algebra Articles 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: Computer Aided Verification
Hughes, John; Launchbury, John Reversing abstract interpretations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1994 Published in: Science of Computer Programming
Hughes, John; Launchbury, John ESOP '92: Reversing abstract interpretations Articles 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, 1992 Published in: ESOP '92
HUGHES, JOHN; LAUNCHBURY, JOHN Relational Reversal of Abstract Interpretation Articles 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), 1992 Published in: Journal of Logic and Computation
Launchbury, John; Elliott, Trevor Concurrent orchestration in Haskell Articles 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), 2010 Published in: ACM SIGPLAN Notices
Erkök, Levent; Launchbury, John Recursive monadic bindings Articles 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), 2000 Published in: ACM SIGPLAN Notices
Cook, Byron; Launchbury, John Disposable memo functions (extended abstract) Articles 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), 1997 Published in: ACM SIGPLAN Notices
Launchbury, John; Sabry, Amr Monadic state : axiomatization and type safety : axiomatization and type safety Articles 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), 1997 Published in: ACM SIGPLAN Notices
> Media type Skip to next facet Articles (39) Wert ausschließen Books (5) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (15) Wert ausschließen Without Specification (27) Wert ausschließen Show more show less
> Language Skip to next facet English (34) Wert ausschließen Not determined (10) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (23) Wert ausschließen Mathmatics (2) Wert ausschließen Technology (2) Wert ausschließen Biology (1) Wert ausschließen Chemistry and pharmacology (1) Wert ausschließen Art and art history (1) Wert ausschließen Medicine (1) Wert ausschließen Show more show less
> Creator Skip to next facet Launchbury, John (35) Wert ausschließen Launchbury, Francesca (5) Wert ausschließen Brandner, Sebastian (3) Wert ausschließen Cook, Byron (3) Wert ausschließen Elliott, Trevor (3) Wert ausschließen Hughes, John (3) Wert ausschließen Jaunmuktane, Zane (3) Wert ausschließen Richard-Loendt, Angela (3) Wert ausschließen Balbaa, Aya (2) Wert ausschließen Bielman, James (2) Wert ausschließen Birrell, Stephen N. (2) Wert ausschließen Brown, Gordon D. (2) Wert ausschließen Bruna, Alejandra (2) Wert ausschließen Caldas, Carlos (2) Wert ausschließen Carroll, Jason S. (2) Wert ausschließen Collinge, John (2) Wert ausschließen Desai, Sneha (2) Wert ausschließen DuBuisson, Thomas (2) Wert ausschließen D’Santos, Clive (2) Wert ausschließen Ellis, Matthew (2) Wert ausschließen Erkök, Levent (2) Wert ausschließen Fisher, Kathleen (2) Wert ausschließen Hadfield, James (2) Wert ausschließen Hanrieder, Jörg (2) Wert ausschließen Hickey, Theresa E. (2) Wert ausschließen Joghee, Ridwaan (2) Wert ausschließen Kenny, Joanna (2) Wert ausschließen Launchbury, Rosalind (2) Wert ausschließen Linehan, Jacqueline (2) Wert ausschließen Matthews, John (2) Wert ausschließen Mead, Simon (2) Wert ausschließen Menon, Suraj (2) Wert ausschließen Mohammed, Hisham (2) Wert ausschließen Nicoll, Andrew J. (2) Wert ausschließen Perou, Charles M. (2) Wert ausschließen Peyton Jones, Simon L. (2) Wert ausschließen Phelan, Stefan-Laural J. (2) Wert ausschließen Pike, Lee (2) Wert ausschließen Pugh, Michelle (2) Wert ausschließen Raj, Ganesh V. (2) Wert ausschließen Richards, Raymond (2) Wert ausschließen Robinson, Jessica L. L. (2) Wert ausschließen Rocha, Ricardo (2) Wert ausschließen Rudge, Peter (2) Wert ausschließen Rueda, Oscar M. (2) Wert ausschließen Russell, I. Alasdair (2) Wert ausschließen Saadi, Amel (2) Wert ausschließen Serandour, Aurelien A. (2) Wert ausschließen Silva, Grace (2) Wert ausschließen Stark, Rory (2) Wert ausschließen Stingl, John (2) Wert ausschließen Tarulli, Gerard A. (2) Wert ausschließen Tilley, Wayne D. (2) Wert ausschließen Tripathi, Takshashila (2) Wert ausschließen Vanshoiack, Alison (2) Wert ausschließen Vitanova, Karina S. (2) Wert ausschließen Wadsworth, Jonathan D. F. (2) Wert ausschließen Walker, A. Sarah (2) Wert ausschließen Wong, Eugenia (2) Wert ausschließen Abeti, Rosella (1) Wert ausschließen Adams-Moran, Andy (1) Wert ausschließen Al-Khawaja, Issam (1) Wert ausschließen Al-Mutairi, Fuad (1) Wert ausschließen Allan, Janet M. (1) Wert ausschließen Allan, John A. (1) Wert ausschließen Althonayan, Juri (1) Wert ausschließen Archer, Dave (1) Wert ausschließen Arning, Larissa (1) Wert ausschließen Atawneh, Osama (1) Wert ausschließen Athanasiou-Fragkouli, Alkyoni (1) Wert ausschließen Aurrand-Lions, Michel (1) Wert ausschließen Avdjieva, Daniela (1) Wert ausschließen Banu, Selina (1) Wert ausschließen Baraki, Gebreselassie (1) Wert ausschließen Beagley, Kenneth (1) Wert ausschließen Beetz, Christian (1) Wert ausschließen Begtrup, Amber (1) Wert ausschließen Bisgin, Atil (1) Wert ausschließen Boesch, Sylvia (1) Wert ausschließen Boles, Richard (1) Wert ausschließen Borgione, Eugenia (1) Wert ausschließen Breza, Marianthi (1) Wert ausschließen Carr, Aisling (1) Wert ausschließen Chelban, Viorica (1) Wert ausschließen Cormand, Bru (1) Wert ausschließen Cummings, Damian M. (1) Wert ausschließen Cummings, Damian Michael (1) Wert ausschließen Cunningham, Kelly (1) Wert ausschließen Dardiotis, Efthymios (1) Wert ausschließen Dauvilliers, Yves A. (1) Wert ausschließen Di Rosa, Gabriella (1) Wert ausschließen Diatchki, Iavor S. (1) Wert ausschließen Edwards, Frances A. (1) Wert ausschließen Edwards, Frances Aline (1) Wert ausschließen Efthymiou, Stephanie (1) Wert ausschließen Ferrari, Michel D. (1) Wert ausschließen Forbes, Raeburn (1) Wert ausschließen Garavaglia, Barbara (1) Wert ausschließen García-Silva, Mayte (1) Wert ausschließen Giunti, Paola (1) Wert ausschließen Show more show less
> Collection Skip to next facet Association for Computing Machinery (ACM) (CrossRef) (13) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (9) Wert ausschließen Elsevier BV (CrossRef) (6) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (5) Wert ausschließen Verbunddaten SWB (5) Wert ausschließen Oxford University Press (OUP) (CrossRef) (2) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen EDP Sciences (CrossRef) (1) Wert ausschließen JSTOR Health & General Sciences (1) Wert ausschließen JSTOR Life Sciences Archive (1) Wert ausschließen JSTOR Mathematics & Statistics (1) Wert ausschließen The Royal Society (CrossRef) (1) Wert ausschließen Show more show less