references.bib

% SPDX-License-Identifier: MPL-2.0
% Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
% References for WokeLang: consent-driven language with HM type inference,
% workers/channels, and emotional annotations

@article{milner1978theory,
  author    = {Robin Milner},
  title     = {A Theory of Type Polymorphism in Programming},
  journal   = {Journal of Computer and System Sciences},
  volume    = {17},
  number    = {3},
  pages     = {348--375},
  year      = {1978},
  note      = {Hindley-Milner type inference; core of WokeLang type system}
}

@article{hoare1978communicating,
  author    = {C. A. R. Hoare},
  title     = {Communicating Sequential Processes},
  journal   = {Communications of the ACM},
  volume    = {21},
  number    = {8},
  pages     = {666--677},
  year      = {1978},
  note      = {CSP concurrency; theoretical basis for WokeLang channels}
}

@article{pike2012go,
  author    = {Rob Pike},
  title     = {Go Concurrency Patterns},
  booktitle = {Google I/O},
  year      = {2012},
  note      = {Goroutines and channel patterns; practical influence on WokeLang worker/channel design}
}

@book{pierce2002types,
  author    = {Benjamin C. Pierce},
  title     = {Types and Programming Languages},
  publisher = {MIT Press},
  year      = {2002},
  note      = {Type theory foundations; reference for WokeLang HM inference implementation}
}

@article{damer2009consent,
  author    = {Bruce Damer and Randy Hinrichs},
  title     = {The Virtuality and Reality of Avatar Cyberspace},
  journal   = {Journal of Computer-Mediated Communication},
  volume    = {14},
  number    = {1},
  year      = {2009},
  note      = {Consent and agency in computational systems; conceptual basis for consent-driven semantics}
}

@book{papert1980mindstorms,
  author    = {Seymour Papert},
  title     = {Mindstorms: Children, Computers, and Powerful Ideas},
  publisher = {Basic Books},
  year      = {1980},
  note      = {Constructionist learning theory; influences WokeLang pedagogical design}
}

@article{hindley1969principal,
  author    = {J. Roger Hindley},
  title     = {The Principal Type-Scheme of an Object in Combinatory Logic},
  journal   = {Transactions of the American Mathematical Society},
  volume    = {146},
  pages     = {29--60},
  year      = {1969},
  note      = {Principal type schemes; theoretical foundation for HM inference in WokeLang}
}

@inproceedings{damas1982principal,
  author    = {Luis Damas and Robin Milner},
  title     = {Principal Type-Schemes for Functional Programs},
  booktitle = {Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  pages     = {207--212},
  year      = {1982},
  note      = {Algorithm W; WokeLang type inference implementation reference}
}

@article{picard1997affective,
  author    = {Rosalind W. Picard},
  title     = {Affective Computing},
  publisher = {MIT Press},
  year      = {1997},
  note      = {Emotional computing foundations; informs WokeLang emotional annotation system}
}

@inproceedings{reppy1991cml,
  author    = {John H. Reppy},
  title     = {CML: A Higher-order Concurrent Language},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation},
  pages     = {293--305},
  year      = {1991},
  note      = {First-class synchronous events and channels; influence on WokeLang channel semantics}
}

@article{nissenbaum2004privacy,
  author    = {Helen Nissenbaum},
  title     = {Privacy as Contextual Integrity},
  journal   = {Washington Law Review},
  volume    = {79},
  number    = {1},
  pages     = {119--157},
  year      = {2004},
  note      = {Contextual integrity framework; informs WokeLang consent and data flow model}
}

@inproceedings{marlow2011monad,
  author    = {Simon Marlow and Louis Brandy and Jonathan Coens and Jon Purdy},
  title     = {There is No Fork: An Abstraction for Efficient, Concurrent, and Concise Data Access},
  booktitle = {Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming},
  year      = {2014},
  note      = {Structured concurrency patterns; relevant to WokeLang worker lifecycle management}
}