Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
3fa20128
Commit
3fa20128
authored
Nov 19, 2015
by
POTTIER Francois
Browse files
Comments on the related work.
parent
7a6a5bf5
Changes
1
Hide whitespace changes
Inline
Side-by-side
doc/english.bib
View file @
3fa20128
...
...
@@ -5332,6 +5332,18 @@
URL
=
"http://dx.doi.org/10.1007/BF00264025"
,
}
@Article
{
grosch-90
,
author
=
"Josef Grosch"
,
title
=
"Efficient and Comfortable Error Recovery in Recursive
Descent Parsers"
,
journal
=
"Structured Programming"
,
volume
=
"11"
,
number
=
"3"
,
pages
=
"129--140"
,
year
=
"1990"
,
URL
=
"http://www.cocolab.com/products/cocktail/doc.pdf/ell.pdf"
,
}
@Article
{
grossman-06
,
author
=
"Dan Grossman"
,
title
=
"Quantified Types in an Imperative Language"
,
...
...
@@ -10245,6 +10257,14 @@
URL
=
"http://gallium.inria.fr/~fpottier/publis/fpottier-protzenko-lessons-mezzo.pdf"
,
}
@Unpublished
{
pottier-reachability
,
author
=
"François Pottier"
,
title
=
"Reachability and error diagnosis in {LR}(1) automata"
,
note
=
"Submitted for publication"
,
year
=
"2015"
,
URL
=
"http://gallium.inria.fr/~fpottier/publis/fpottier-reachability.pdf"
,
}
@InProceedings
{
pottier-regis-gianas-06
,
author
=
"François Pottier and Yann Régis-Gianas"
,
title
=
"Stratified type inference for generalized algebraic
...
...
@@ -12392,6 +12412,18 @@
URL
=
"http://dx.doi.org/10.1017/S0956796898003086"
,
}
@Article
{
topor-82
,
author
=
"Rodney W. Topor"
,
title
=
"A Note on Error Recovery in Recursive Descent
Parsers"
,
journal
=
notices
,
volume
=
"17"
,
number
=
"2"
,
year
=
"1982"
,
pages
=
"37--40"
,
URL
=
"http://doi.acm.org/10.1145/947902.947905"
,
}
@InProceedings
{
tov-pucella-10
,
author
=
"Jesse A. Tov and Riccardo Pucella"
,
title
=
"Stateful Contracts for Affine Types"
,
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment