Secure Distributed Programming with Value-Dependent Types (English)
- New search for: Swamy, N.
- New search for: Chen, J.
- New search for: Fournet, C.
- New search for: Strub, P.-Y.
- New search for: Bhargavan, K.
- New search for: Yang, J.
- New search for: Swamy, N.
- New search for: Chen, J.
- New search for: Fournet, C.
- New search for: Strub, P.-Y.
- New search for: Bhargavan, K.
- New search for: Yang, J.
In:
ACM SIGPLAN NOTICES
;
46
, 9
;
266-278
;
2011
-
ISSN:
- Article (Journal) / Print
-
Title:Secure Distributed Programming with Value-Dependent Types
-
Contributors:Swamy, N. ( author ) / Chen, J. ( author ) / Fournet, C. ( author ) / Strub, P.-Y. ( author ) / Bhargavan, K. ( author ) / Yang, J. ( author )
-
Published in:ACM SIGPLAN NOTICES ; 46, 9 ; 266-278
-
Publisher:
- New search for: ACM
-
Publication date:2011-01-01
-
Size:13 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005.1
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005.1 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 46, Issue 9
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Towards a Comprehensive Theory of Monadic EffectsFilinski, A. et al. | 2011
- 2
-
Just do It: Simple Monadic Equational ReasoningGibbons, J. / Hinze, R. et al. | 2011
- 15
-
Lightweight Monadic Programming in MLSwamy, N. / Guts, N. / Leijen, D. / Hicks, M. et al. | 2011
- 28
-
Functional Programming Through Deep Time: Modeling the First Complex Ecosystems on EarthMitchell, E.G. et al. | 2011
- 32
-
Monads, Zippers and Views: Virtualizing the Monad StackSchrijvers, T. / Oliveira, B.C.d.S. et al. | 2011
- 45
-
A Semantic Model for Graphical User InterfacesKrishnaswami, N.R. / Benton, N. et al. | 2011
- 58
-
Modular Rollback Through Control Logging: A Pair of Twin Functional PearlsShivers, O. / Turon, A.J. et al. | 2011
- 69
-
Pushdown Flow Analysis of First-Class ControlVardoulakis, D. / Shivers, O. et al. | 2011
- 81
-
Subtyping Delimited ContinuationsMaterzok, M. / Biernacki, D. et al. | 2011
- 94
-
Set-Theoretic Foundation of Parametric Polymorphism and SubtypingCastagna, G. / Xu, Z. et al. | 2011
- 107
-
Parametric Polymorphism and Semantic Subtyping: The Logical ConnectionGesbert, N. / Geneves, P. / Layaida, N. et al. | 2011
- 117
-
Balanced Trees Inhabiting Functional Parallel ProgrammingMorihata, A. / Matsuzaki, K. et al. | 2011
- 129
-
Implicit Self-Adjusting Computation for Purely Functional ProgramsChen, Y. / Dunfield, J. / Hammer, M.A. / Acar, U.A. et al. | 2011
- 142
-
Programming Assurance Cases in AgdaTakeyama, M. et al. | 2011
- 143
-
On the Bright Side of Type Classes: Instance Arguments in AgdaDevriese, D. / Piessens, F. et al. | 2011
- 156
-
Functional Modelling of Musical HarmonyMagalhaes, J.P. / de Haas, W.B. et al. | 2011
- 163
-
How to Make Ad Hoc Proof Automation Less Ad HocGonthier, G. / Ziliani, B. / Nanevski, A. / Dreyer, D. et al. | 2011
- 176
-
Temporal Higher-Order ContractsDisney, T. / Flanagan, C. / McCarthy, J. et al. | 2011
- 189
-
Parsing with Derivatives: A Functional PearlMight, M. / Darais, D. / Spiewak, D. et al. | 2011
- 196
-
An Efficient Non-Moving Garbage Collector for Functional LanguagesUeno, K. / Ohori, A. / Otomo, T. et al. | 2011
- 209
-
Deriving an Efficient FPGA Implementation of a Low Density Parity Check Forward Error CorrectorGill, A. / Farmer, A. et al. | 2011
- 221
-
Geometry of Synthesis IV: Compiling Affine Recursion into Static HardwareGhica, D.R. / Smith, A. / Singh, S. et al. | 2011
- 234
-
A Hierarchy of Mendler Style Recursion Combinators: Taming Inductive Datatypes with Negative OccurrencesAhn, K.Y. / Sheard, T. et al. | 2011
- 247
-
Typed Self-Interpretation by Pattern MatchingJay, B. / Palsberg, J. et al. | 2011
- 259
-
Using Camlp4 for Presenting Dynamic Mathematics on the Web: DynaMoW, an OCaml Language Extension for the Run-Time Generation of Mathematical Contents and Their Presentation on the WebChyzak, F. / Darrasse, A. et al. | 2011
- 266
-
Secure Distributed Programming with Value-Dependent TypesSwamy, N. / Chen, J. / Fournet, C. / Strub, P.-Y. / Bhargavan, K. / Yang, J. et al. | 2011
- 279
-
Frenetic: A Network Programming LanguageFoster, N. / Harrison, R. / Freedman, M.J. / Monsanto, C. / Rexford, J. / Story, A. / Walker, D. et al. | 2011
- 292
-
Forest: A Language and Toolkit for Programming with FilestoresFisher, K. / Foster, N. / Walker, D. / Zhu, K.Q. et al. | 2011
- 307
-
Making Standard ML a Practical Database Programming LanguageOhori, A. / Ueno, K. et al. | 2011
- 320
-
Nameless, PainlessPouillard, N. et al. | 2011
- 333
-
Binders UnboundWeirich, S. / Yorgey, B.A. / Sheard, T. et al. | 2011
- 346
-
Recursion Principles for Syntax with Bindings and SubstitutionPopescu, A. / Gunter, E.L. et al. | 2011
- 359
-
Proving the Unique Fixed-Point Principle Correct: An Adventure with Category TheoryHinze, R. / James, D.W.H. et al. | 2011
- 372
-
Linearity and PCF: A Semantic Insight!Gaboardi, M. / Paolini, L. / Piccolo, M. et al. | 2011
- 385
-
Generalising and Dualising the Third List-Homomorphism Theorem: Functional PearlMu, S.-C. / Morihata, A. et al. | 2011
- 392
-
Incremental Updates for Efficient Bidirectional TransformationsWang, M. / Gibbons, J. / Wu, N. et al. | 2011
- 404
-
Modular Verification of Preemptive OS KernelsGotsman, A. / Yang, H. et al. | 2011
- 418
-
Characteristic Formulae for the Verification of Imperative ProgramsChargueraud, A. et al. | 2011
- 431
-
An Equivalence-Preserving CPS Translation Via Multi-Language SemanticsAhmed, A. / Blume, M. et al. | 2011
- 445
-
A Kripke Logical Relation for Effect-Based Program TransformationsThamsborg, J. / Birkedal, L. et al. | 2011