1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2010★ 1 cited
CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources
Mayleen Lacouture, Hervé Grall, Thomas Ledoux
In the context of Service-Oriented Computing, applications can be developed following the REST (Representation State Transfer) architectural style. This style corresponds to a reso…
cs.PL2008
Coinductive big-step operational semantics
Xavier Leroy, Hervé Grall
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to de…