( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Extending Liquid Types to Arrays.

, , , и . ACM Trans. Comput. Log., 21 (2): 13:1-13:41 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Mario Clara

Martin Clara

Johan Segura

Nicole Clara

Christophe Claramunt

 

Другие публикации лиц с тем же именем

Bypassing of Channels in Eden., , и . Scottish Functional Programming Workshop, том 1 из Trends in Functional Programming, стр. 2-10. Intellect, (1999)A type system for safe memory management and its proof of correctness., , и . PPDP, стр. 152-162. ACM, (2008)Deriving Non-Hierarchical Process Topologies., , и . Scottish Functional Programming Workshop, том 3 из Trends in Functional Programming, стр. 51-62. Intellect, (2001)Optimising Eden by transformation., , , и . Scottish Functional Programming Workshop, том 2 из Trends in Functional Programming, стр. 13-26. Intellect, (2000)Shape analysis in a functional language by using regular languages., , и . PPDP, стр. 251-262. ACM, (2013)An Inference Algorithm for Guaranteeing Safe Destruction., , и . LOPSTR, том 5438 из Lecture Notes in Computer Science, стр. 135-151. Springer, (2008)Adding Traces to a Lazy Monadic Evaluator., , , и . EUROCAST, том 2178 из Lecture Notes in Computer Science, стр. 627-641. Springer, (2001)Liquid Types for Array Invariant Synthesis., , , и . ATVA, том 10482 из Lecture Notes in Computer Science, стр. 289-306. Springer, (2017)A Simple Region Inference Algorithm for a First-Order Functional Language., , и . WFLP, том 5979 из Lecture Notes in Computer Science, стр. 145-161. Springer, (2009)A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation., , и . Inf. Comput., (2014)