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

1

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..

2

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..

3

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..

4

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..

5

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..

6

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..

7

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..

8

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..

9

Galois : high assurance software:

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

Launchbury, John - p. 3 ff. , 2004

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

10

Modularity in the new millenium : a panel summary:

, In: Proceedings of the 25th International Conference on Software Engineering,

Devanbu, Premkumar ; Balzer, Bob ; Batory, Don... - p. 723-724 , 2003

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

11

A recursive do for Haskell:

, In: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell,

Erkök, Levent ; Launchbury, John - p. 29-37 , 2002

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

12

Recursive monadic bindings:

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

Erkök, Levent ; Launchbury, John - p. 174-185 , 2000

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

13

Implicit parameters : dynamic scoping with static types:

, In: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Lewis, Jeffrey R. ; Launchbury, John ; Meijer, Erik. - p. 108-118 , 2000

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

14

On embedding a microarchitectural design language within Ha..:

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

Launchbury, John ; Lewis, Jeffrey R. ; Cook, Byron - p. 60-69 , 1999

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

15

Bridging the gulf : a common intermediate language for M..:

, In: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Peyton Jones, Simon ; Shields, Mark ; Launchbury, John. - p. 49-61 , 1998

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