BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
L.Liquori H.Cirstea C.Houtmann
Talks about:
calculus (2) type (2) polymorph (1) distribut (1) rewrit (1) infer (1) check (1) rho (1)

Person: Benjamin Wack

DBLP DBLP: Wack:Benjamin

Contributed to:

WRLA 20062007
WRLA 20042005

Wrote 2 papers:

WRLA-2006-CirsteaHW07 #calculus
Distributive rho-calculus (HC, CH, BW), pp. 95–111.
WRLA-2004-LiquoriW05 #calculus #polymorphism #type checking #type inference
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference] (LL, BW), pp. 89–111.

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.