Find link

language:

Find link is a tool written by Edward Betts.

searching for Journal of Logical and Algebraic Methods in Programming 9 found (14 total)

alternate case: journal of Logical and Algebraic Methods in Programming

Session type (898 words) [view diff] exact match in snippet view article find links to article

2018). "Multiparty session types, beyond duality". Journal of Logical and Algebraic Methods in Programming. 97: 55–84. doi:10.1016/j.jlamp.2018.01.001. hdl:10044/1/56777

Category of measurable spaces (748 words) [view diff] exact match in snippet view article find links to article

probability monads to commutative effectuses". Journal of Logical and Algebraic Methods in Programming. 94: 200–237. doi:10.1016/j.jlamp.2016.11.006.

List of model checking tools (1,199 words) [view diff] exact match in snippet view article find links to article

turntable system using Spin, CADP and Uppaal" (PDF). Journal of Logical and Algebraic Methods in Programming. 65 (2): 51–104. doi:10.1016/j.jlap.2005.05.001

Relation algebra (2,542 words) [view diff] exact match in snippet view article find links to article

programming language using the Ampersand compiler, Journal of Logical and Algebraic Methods in Programming, Volume 100, April 2018, Pages 113–129. (see also

Software design pattern (3,180 words) [view diff] exact match in snippet view article find links to article

session-based type system for Elixir modules". Journal of Logical and Algebraic Methods in Programming. 135. doi:10.1016/j.jlamp.2023.100891. S2CID 251442539

Reactive programming (3,451 words) [view diff] exact match in snippet view article find links to article

programming language using the Ampersand compiler", Journal of Logical and Algebraic Methods in Programming, vol. 100, pp. 113–29, doi:10.1016/j.jlamp.2018

Matching logic (2,522 words) [view diff] exact match in snippet view article find links to article

Grigore (2021-04-01). "Matching logic explained". Journal of Logical and Algebraic Methods in Programming. 120: 100638. doi:10.1016/j.jlamp.2021.100638.

Giry monad (2,002 words) [view diff] exact match in snippet view article find links to article

probability monads to commutative effectuses". Journal of Logical and Algebraic Methods in Programming. 94: 200–237. doi:10.1016/j.jlamp.2016.11.006.

Halting problem (7,350 words) [view diff] exact match in snippet view article find links to article

(June 2021). "The origins of the halting problem". Journal of Logical and Algebraic Methods in Programming. 121: 100687. doi:10.1016/j.jlamp.2021.100687.