BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Poland
1 × USA
Collaborated with:
A.Setzer N.Ghani L.Malatesta R.Atkey T.Revell S.Staton
Talks about:
induct (2) polymorph (1) definit (1) physic (1) dimens (1) model (1) type (1) fibr (1) data (1)

Person: Fredrik Nordvall Forsberg

DBLP DBLP: Forsberg:Fredrik_Nordvall

Contributed to:

TLCA 20152015
LICS 20132013
CSL 20102010

Wrote 3 papers:

TLCA-2015-AtkeyGFRS #modelling #morphism #physics #polymorphism
Models for Polymorphism over Physical Dimension (RA, NG, FNF, TR, SS), pp. 45–59.
LICS-2013-GhaniMFS #data type
Fibred Data Types (NG, LM, FNF, AS), pp. 243–252.
CSL-2010-ForsbergS #induction
Inductive-Inductive Definitions (FNF, AS), pp. 454–468.

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.