Your search
MACHINE LEARNING
PROGRAMMING LANGUAGES
Results
10 resources-
Borchert, T. (2019). amzn/milan. Amazon. Retrieved from https://github.com/amzn/milan (Original work published 2019)
-
Engeler, E. (1995). The Combinatory Programme. Birkhäuser Basel. https://doi.org/10.1007/978-1-4612-4268-0
-
Ghahramani, Z. (2015). Probabilistic machine learning and artificial intelligence. Nature, 521(7553), 452–459. https://doi.org/10/gdxwhq
-
Jacobs, B., & Zanasi, F. (2016). A Predicate/State Transformer Semantics for Bayesian Learning. Electronic Notes in Theoretical Computer Science, 325, 185–200. https://doi.org/10/ggdgbb
-
Murfet, D. (2019). dmurfet/2simplicialtransformer. Retrieved from https://github.com/dmurfet/2simplicialtransformer (Original work published 2019)
-
Murfet, D. (2018). dmurfet/deeplinearlogic. Retrieved from https://github.com/dmurfet/deeplinearlogic (Original work published 2016)
-
Murfet, D. (2018). dmurfet/polysemantics. Retrieved from https://github.com/dmurfet/polysemantics (Original work published 2016)
-
Murfet, D., Clift, J., Doryn, D., & Wallbridge, J. (2019). Logic and the $2$-Simplicial Transformer. ArXiv:1909.00668 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1909.00668
-
Murfet, D., & Hu, H. (n.d.). Linear logic and deep learning.
-
Tran, D., Hoffman, M. D., Saurous, R. A., Brevdo, E., Murphy, K., & Blei, D. M. (2017). Deep Probabilistic Programming. ArXiv:1701.03757 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1701.03757
Explore
CATEGORICAL LOGIC
- Effectus theory (1)
- Linear logic (3)
MACHINE LEARNING
-
Machine Learning
- Algebraic ML (3)
- Categorical ML (4)
- Classic ML (1)
MODEL CHECKING AND STATE MACHINES
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
- Implementation (5)
Topic
- Abstract machines (2)
- Algebra (3)
- Bayesian inference (2)
- Bayesianism (1)
- Categorical ML (4)
- Categorical probability theory (1)
- Classical ML (1)
- Effectus theory (1)
- Implementation (5)
- Linear logic (3)
- Machine learning (8)
- Probabilistic programming (3)
- Programming language theory (2)
- Purely theoretical (1)
- Semantics (6)
Resource type
- Book (1)
- Computer Program (4)
- Journal Article (4)
- Presentation (1)
Publication year
- Between 1900 and 1999 (1)
- Between 2000 and 2022 (8)
- Unknown (1)