|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 30 occurrences of 25 keywords
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jacques-Henri Jourdan, François Pottier, Xavier Leroy |
Validating LR(1) Parsers.  |
ESOP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier |
A typed store-passing translation for general references. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Pilkiewicz, François Pottier |
The essence of monotonic state. |
TLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Pouillard, François Pottier |
A fresh look at programming with names and binders. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus |
A Semantic Foundation for Hidden State. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Charguéraud, François Pottier |
Functional translation of a calculus of capabilities. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership |
| 1 | Yann Régis-Gianas, François Pottier |
A Hoare Logic for Call-by-Value Functional Programs. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier |
Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Proofs of programs, hidden local state, higher-order frame rule, separation logic, dynamic memory allocation |
| 1 | Vincent Simonet, François Pottier |
A constraint-based approach to guarded algebraic data types. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
GADTs, Generalized algebraic data types, constraint-based type inference |
| 1 | François Pottier, George C. Necula (eds.) |
Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007 |
TLDI |
2007 |
DBLP BibTeX RDF |
|
| 1 | François Pottier |
Static Name Control for FreshML. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier |
An Overview of Calphaml. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier, Yann Régis-Gianas |
Towards Efficient, Typed LR Parsers. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier, Nadji Gauthier |
Polymorphic typed defunctionalization and concretization. |
Higher-Order and Symbolic Computation |
2006 |
DBLP DOI BibTeX RDF |
Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization |
| 1 | François Pottier, Yann Régis-Gianas |
Stratified type inference for generalized algebraic data types. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Kennedy, François Pottier (eds.) |
Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006 |
ML |
2006 |
DBLP BibTeX RDF |
|
| 1 | François Pottier, Christian Skalka, Scott F. Smith |
A systematic approach to static access control. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
access control, Type systems, stack inspection |
| 1 | Roberto Di Cosmo, François Pottier, Didier Rémy |
Subtyping Recursive Types Modulo Associative Commutative Products. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier |
From ML type inference to stratified type inference. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier, Nadji Gauthier |
Polymorphic typed defunctionalization. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
type preservation, polymorphism, defunctionalization, closure conversion |
| 1 | Nadji Gauthier, François Pottier |
Numbering matters: first-order canonical forms for second-order recursive types. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
polymorphism, unification, equality, recursive types |
| 1 | François Pottier, Vincent Simonet |
Information flow inference for ML. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
non-interference, Constraint-based analysis |
| 1 | Jean-Christophe Filliâtre, François Pottier |
Producing all ideals of a forest, functionally. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Skalka, François Pottier |
Syntactic Type Soundness for HM(X). |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier, Vincent Simonet |
Information flow inference for ML. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier |
A Simple View of Type-Secure Information Flow in the p-Calculus. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier |
Simplifying Subtyping Constraints: A Theory. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Conchon, François Pottier |
JOIN(X): Constraint-Based Type Inference for the Join-Calculus. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier, Christian Skalka, Scott F. Smith |
A Systematic Approach to Static Access Control. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier |
A Versatile Constraint-Based Type Inference System. |
Nord. J. Comput. |
2000 |
DBLP BibTeX RDF |
|
| 1 | François Pottier, Sylvain Conchon |
Information flow inference for free. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier |
A 3-Part Type Inference Engine. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier |
A Framework for Type Inference with Subtyping. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier |
Simplifying Subtyping Constraints. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")