|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park |
A syntactic type system for recursive modules.  |
OOPSLA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Garrigue |
A Certified Implementation of ML with Structural Polymorphism. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Garrigue, Manuel V. Hermenegildo (eds.) |
Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings |
FLOPS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Keiko Nakata, Jacques Garrigue |
Recursive modules for programming. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
applicative functors, the expression problem, type systems, type inference, recursive modules |
| 1 | Jacques Garrigue |
Private Row Types: Abstracting the Unnamed. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuaki Yoshida, Yoshio Hayashi, Yutaka Tamagaki, Shoji Urashita, Makoto Kakuta, Masahiro Watanabe, Jacques Garrigue, Reiji Nakajima |
SOBA Framework: An Application Framework for Broadband Network Environment. |
SAINT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Garrigue |
Relaxing the Value Restriction. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Garrigue |
Relaxing the Value Restriction. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jacques Garrigue |
Simple Type Inference for Structural Polymorphism. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jacques Garrigue, Didier Rémy |
Semi-Explicit First-Class Polymorphism for ML. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuhiko Minamide, Jacques Garrigue |
On the Runtime Complexity of Type-Directed Unboxing. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
ML |
| 1 | Jacques Garrigue, Didier Rémy |
Extending ML with Semi-Explicit Higher-Order Polymorphism. |
TACS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Aït-Kaci, Jacques Garrigue |
Label-Selective lambda-Calculus Syntax and Confluence. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Garrigue |
The Transformation Calculus. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Garrigue, Hassan Aït-Kaci |
The Typed Polymorphic Label-Selective lambda-Calculus. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Aït-Kaci, Jacques Garrigue |
Label-Selective lambda-Calculus Syntax and Confluence. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
record calculus, communication, concurrency, Calculus |
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")