BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
4 × USA
Collaborated with:
K.Nakata ∅ Y.Minamide H.Aït-Kaci H.Im S.Park
Talks about:
type (3) recurs (2) modul (2) polymorph (1) restrict (1) calculus (1) syntact (1) program (1) complex (1) system (1)

Person: Jacques Garrigue

DBLP DBLP: Garrigue:Jacques

Facilitated 1 volumes:

FLOPS 2008Ed

Contributed to:

OOPSLA 20112011
ICFP 20062006
FLOPS 20042004
ICFP 19981998
POPL 19941994

Wrote 5 papers:

OOPSLA-2011-ImNGP #recursion #type system
A syntactic type system for recursive modules (HI, KN, JG, SP), pp. 993–1012.
ICFP-2006-NakataG #programming #recursion
Recursive modules for programming (KN, JG), pp. 74–86.
FLOPS-2004-Garrigue #strict
Relaxing the Value Restriction (JG), pp. 196–213.
ICFP-1998-MinamideG #complexity #on the #runtime
On the Runtime Complexity of Type-Directed Unboxing (YM, JG), pp. 1–12.
POPL-1994-GarrigueA #polymorphism #λ-calculus
The Typed Polymorphic Label-Selective λ-Calculus (JG, HAK), pp. 35–47.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.