Borowski, M. & Larsen-Ledet, I. (2021).
Lessons Learned from Using Reprogrammable Prototypes with End-User Developers. I D. Fogli, D. Tetteroo, B. R. Barricelli, S. Borsci, P. Markopoulos & G. A. Papadopoulos (red.),
End-User Development - 8th International Symposium, IS-EUD 2021, Proceedings: 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings (s. 136–152). Springer.
https://doi.org/10.1007/978-3-030-79840-6_9
Abel, A., Cockx, J., Devriese, D.
, Timany, A. & Wadler, P. (2020).
Leibniz equality is isomorphic to Martin-Löf identity, parametrically.
Journal of Functional Programming,
30, Artikel e17.
https://doi.org/10.1017/S0956796820000155
Arge, L., Grønlund, A., Svendsen, S. C. & Tranberg, J. (2019).
Learning to find hydrological corrections. I F. Banaei-Kashani, G. Trajcevski, R. H. Güting, L. Kulik & S. Newsam (red.),
27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (SIGSPATIAL '19) (s. 464-467). Association for Computing Machinery.
https://doi.org/10.1145/3347146.3359095
Hazay, C., López-Alt, A., Wee, H.
& Wichs, D. (2013).
Leakage-resilient cryptography from minimal assumptions. I T. Johansson & P. Nguyen (red.),
Leakage-Resilient Cryptography from Minimal Assumptions: 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings (s. 160-176). Springer VS.
https://doi.org/10.1007/978-3-642-38348-9_10
Aranha, D. F., Baum, C., Gjøsteen, K., Silde, T. & Tunge, T. (2021).
Lattice-Based Proof of Shuffle and Applications to Electronic Voting. I K. G. Paterson (red.),
Topics in Cryptology-CT-RSA 2021 - Cryptographers’ Track at the RSA Conference, Proceedings (s. 227-251). Springer.
https://doi.org/10.1007/978-3-030-75539-3_10
Spies, S., Gäher, L., Tassarotti, J., Jung, R., Krebbers, R.
, Birkedal, L. & Dreyer, D. (2022).
Later credits: resourceful reasoning for the later modality.
Proceedings of the ACM on Programming Languages ,
6(ICFP), Artikel 100.
https://doi.org/10.1145/3547631
Pedersen, B. P., Ifrim, G., Liboriussen, P., Axelsen, K. B., Palmgren, M. G.
, Nissen, P., Wiuf, C. H.
& Pedersen, C. N. S. (2014).
Large Scale Identification and Categorization of Protein Sequences Using Structured Logistic Regression.
P L o S One,
9(1), Artikel e85139.
https://doi.org/10.1371/journal.pone.0085139