Search results

Fix problem with gitbook greater than 2.3.2

Status: Open.

#14 In mstn/graphql;

· mstn opened on Aug 9, 2017

Define small-step semantics for query execution

M

Status: Open.

#12 In mstn/graphql;

· mstn opened on Jul 16, 2016

· 

Sprint 02 - small step semantics (edited)

Coq specification for abstract GraphQL

epic

Status: Open.

#10 In mstn/graphql;

· mstn opened on Jul 9, 2016

Comparison with other query languages

epic

Status: Open.

#9 In mstn/graphql;

· mstn opened on Jul 9, 2016

Extending GraphQL

epic

Status: Open.

#8 In mstn/graphql;

· mstn opened on Jul 9, 2016

Formal abstract semantics for GraphQL

epic

Status: Open.

#7 In mstn/graphql;

· mstn opened on Jul 9, 2016