E-LIB Suche - Ergebnisse für: Launchbury, John

1

The HACMS program: using formal methods to eliminate exploi..:

Fisher, Kathleen ; Launchbury, John ; Richards, Raymond
Philosophical Transactions: Mathematical, Physical and Engineering Sciences. 375 (2017) 2104 - p. 1-18 , 2017

Link: https://www.jstor.org/st..

2

Guilt free ivory:

, In: Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell,

Elliott, Trevor ; Pike, Lee ; Winwood, Simon... - p. 189-200 , 2015

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

3

Guilt free ivory:

Elliott, Trevor ; Pike, Lee ; Winwood, Simon...
ACM SIGPLAN Notices. 50 (2015) 12 - p. 189-200 , 2015

Link: https://doi.org/10.1145/..

4

Programming languages for high-assurance autonomous vehicle..:

, In: Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification,

Pike, Lee ; Hickey, Patrick ; Bielman, James... - p. 1-2 , 2014

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

5

Building embedded systems with embedded DSLs:

Hickey, Patrick C. ; Pike, Lee ; Elliott, Trevor..
ACM SIGPLAN Notices. 49 (2014) 9 - p. 3-9 , 2014

Link: https://doi.org/10.1145/..

6

Building embedded systems with embedded DSLs:

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

Hickey, Patrick C. ; Pike, Lee ; Elliott, Trevor.. - p. 3-9 , 2014

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

7

Efficient lookup-table protocol in secure multiparty comput..:

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

Launchbury, John ; Diatchki, Iavor S. ; DuBuisson, Thomas. - p. 189-200 , 2012

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

8

Efficient lookup-table protocol in secure multiparty comput..:

Launchbury, John ; Diatchki, Iavor S. ; DuBuisson, Thomas.
ACM SIGPLAN Notices. 47 (2012) 9 - p. 189-200 , 2012

Link: https://doi.org/10.1145/..

9

Practical aspects of declarative languages

13th international symposium, PADL 2011, Austin, TX, USA, J... Lecture notes in computer science ; 6539

Rocha, Ricardo ; Launchbury, John , 2011

Link: http://dx.doi.org/10.100..

10

Theorem-based circuit derivation in cryptol:

Launchbury, John
ACM SIGPLAN Notices. 47 (2011) 3 - p. 185-186 , 2011

Link: https://doi.org/10.1145/..

11

Theorem-based circuit derivation in cryptol:

, In: Proceedings of the 10th ACM international conference on Generative programming and component engineering,

Launchbury, John - p. 185-186 , 2011

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

12

Concurrent orchestration in Haskell:

, In: Proceedings of the third ACM Haskell symposium on Haskell,

Launchbury, John ; Elliott, Trevor - p. 79-90 , 2010

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

13

Concurrent orchestration in Haskell:

Launchbury, John ; Elliott, Trevor
ACM SIGPLAN Notices. 45 (2010) 11 - p. 79-90 , 2010

Link: https://doi.org/10.1145/..

14

Discussion:

, In: Proceedings of the 2009 Video Workshop on Commercial Users of Functional Programming: Functional Programming As a Means, Not an End,

Launchbury, John - p. 1 ff. , 2009

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

15

Cross-domain WebDAV server:

, In: Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming,

Launchbury, John - p. 1-2 , 2007

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