workshop-ocaml-2023-wasocaml/bib.bib

@article{KB83,
  title={Simple word problems in universal algebras},
  author={Knuth, Donald E and Bendix, Peter B},
  journal={Automation of Reasoning: 2: Classical Papers on Computational Logic 1967--1970},
  pages={342--376},
  year={1983},
  publisher={Springer}
}

@inproceedings{Lat08,
  title={LLVM and Clang: Next generation compiler technology},
  author={Lattner, Chris},
  booktitle={The BSD conference},
  volume={5},
  pages={1--20},
  year={2008}
}

@article{VB14,
  title={From bytecode to JavaScript: the Js\_of\_ocaml compiler},
  author={Vouillon, J{\'e}r{\^o}me and Balat, Vincent},
  journal={Software: Practice and Experience},
  volume={44},
  number={8},
  pages={951--972},
  year={2014},
  publisher={Wiley Online Library}
}

@software{The14,
  title={{Emscripten}},
  author={{The Emscripten Authors}},
  url={https://github.com/emscripten-core/emscripten},
  year={2014}
}

@software{Web15,
  title={{Binaryen}},
  author={{WebAssembly Community Group participants}},
  url={https://github.com/WebAssembly/binaryen},
  year={2015}
}

@article{Hil+17,
  title={Continuation passing style for effect handlers},
  author={Hillerstr{\"o}m, Daniel and Lindley, Sam and Atkey, Robert and Sivaramakrishnan, KC},
  year={2017},
  publisher={Dagstuhl Publishing}
}

@inproceedings{Haa+17,
  title={Bringing the web up to speed with WebAssembly},
  author={Haas, Andreas and Rossberg, Andreas and Schuff, Derek L and Titzer, Ben L and Holman, Michael and Gohman, Dan and Wagner, Luke and Zakai, Alon and Bastien, JF},
  booktitle={Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  pages={185--200},
  year={2017}
}

@software{Web17a,
  title={{Exception Handling Proposal for WebAssembly}},
  author={{WebAssembly Community Group participants}},
  url={https://github.com/WebAssembly/exception-handling},
  year={2017}
}

@software{Web17b,
  title={{GC Proposal for WebAssembly}},
  author={{WebAssembly Community Group participants}},
  url={https://github.com/WebAssembly/gc},
  year={2017}
}

@software{Web17c,
  title={{Tail Call Proposal for WebAssembly}},
  author={{WebAssembly Community Group participants}},
  url={https://github.com/WebAssembly/tail-call},
  year={2017}
}

@software{Web18,
  title={{Reference Types Proposal for WebAssembly}},
  author={{WebAssembly Community Group participants}},
  url={https://github.com/WebAssembly/reference-types},
  year={2018}
}

@software{Web20,
  title={{Typed Function References Proposal for WebAssembly}},
  author={{WebAssembly Community Group participants}},
  url={https://github.com/WebAssembly/function-references},
  year={2020}
}

@software{Sto21,
  title={{WASICaml}},
  author={Stolpmann, Gerd},
  url={https://github.com/remixlabs/wasicaml},
  year={2021}
}

@software{Web21a,
  title={{JavaScript-Promise Integration Proposal for WebAssembly}},
  author={{WebAssembly Community Group participants}},
  url={https://github.com/WebAssembly/js-promise-integration},
  year={2021}
}

@software{Web21b,
  title={{Stack Switching Proposal for WebAssembly}},
  author={{WebAssembly Community Group participants}},
  url={https://github.com/WebAssembly/stack-switching},
  year={2021}
}

@software{AC22,
  title={{Wasocaml}},
  author={Andrès, Léo and Chambart, Pierre},
  url={https://github.com/ocaml-wasm/wasocaml},
  year={2022}
}

@software{Mon22,
  title={{Melange}},
  author={Monteiro, Antonio Nuno},
  url={https://github.com/melange-re/melange},
  year={2022}
}

@misc{Sha22,
  title={{WebAssembly backend merged into GHC}},
  author={Shao, Cheng},
  year={2022},
  howpublished = "\url{https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc}"
}

@software{The22,
  title={{dart2wasm}},
  author={{The Dart Project Authors}},
  year={2022},
  url={https://github.com/dart-lang/sdk/tree/main/pkg/dart2wasm}
}

@software{Web22,
  title={{Reference-Typed Strings Proposal for WebAssembly}},
  author={{WebAssembly Community Group participants}},
  url={https://github.com/WebAssembly/stringref},
  year={2022}
}


@misc{AC23,
  title={{OCaml on WasmGC}},
  author={Andrès, Léo and Chambart, Pierre},
  year={2023},
  howpublished = "\url{https://github.com/WebAssembly/meetings/blob/main/gc/2023/GC-01-10.md}"
}

@misc{Win23a,
  title={{a world to win: webassembly for the rest of us}},
  author={Wingo, Andy},
  year={2023},
  howpublished = "\url{https://www.wingolog.org/archives/2023/03/20/a-world-to-win-webassembly-for-the-rest-of-us}"
}

@misc{Win23b,
  title={{Compiling Scheme to WasmGC}},
  author={Wingo, Andy},
  year={2023},
  howpublished = "\url{https://github.com/WebAssembly/meetings/blob/main/gc/2023/GC-04-18.md}"
}

@software{Win23c,
  title={{Hoot}},
  author={Wingo, Andy},
  url={https://gitlab.com/spritely/guile-hoot/-/blob/main/design/ABI.md},
  year={2023}
}