López-Fraguas, F. J., Martin-Martin, E., & Rodríguez-Hortalá, J. (2014). Safe typing of functional logic programs with opaque patterns and local bindings. Information and computation, 235, 36-69. https://doi.org/10.1016/j.ic.2014.01.004
Citace podle Chicago (17th ed.)López-Fraguas, Francisco J., Enrique Martin-Martin, a Juan Rodríguez-Hortalá. "Safe Typing of Functional Logic Programs with Opaque Patterns and Local Bindings." Information and Computation 235 (2014): 36-69. https://doi.org/10.1016/j.ic.2014.01.004.
Citace podle MLA (9th ed.)López-Fraguas, Francisco J., et al. "Safe Typing of Functional Logic Programs with Opaque Patterns and Local Bindings." Information and Computation, vol. 235, 2014, pp. 36-69, https://doi.org/10.1016/j.ic.2014.01.004.