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 × France
1 × Germany
1 × The Netherlands
4 × USA
Collaborated with:
B.J.Svensson A.Persson E.Axelsson J.Gustavsson J.Ankner Jacob Lidman N.Broberg A.Farre S.Najd S.Lindley P.Wadler H.Svensson N.Smallbone T.Arts U.Norell J.Hughes K.Claessen M.Sheeran D.Engdal
Talks about:
languag (4) embed (3) program (2) express (2) analysi (2) monad (2) usag (2) polymorph (1) implement (1) construct (1)

Person: Josef Svenningsson

DBLP DBLP: Svenningsson:Josef

Contributed to:

FASE 20142014
ICFP 20132013
IFL 20112011
IFL 20102010
ICFP 20042004
ICFP 20022002
IFL 20002000
Haskell 20132013
PEPM 20162016
QAPL 20172017

Wrote 10 papers:

FASE-2014-SvenningssonSSANH #semantics
An Expressive Semantics of Mocking (JS, HS, NS, TA, UN, JH), pp. 385–399.
ICFP-2013-SvenningssonS #composition #embedded #monad
Simple and compositional reification of monadic embedded languages (JS, BJS), pp. 299–304.
IFL-2011-PerssonAS #embedded #monad
Generic Monadic Constructs for Embedded Languages (AP, EA, JS), pp. 85–99.
IFL-2010-AxelssonCSSEP #design #embedded #implementation
The Design and Implementation of Feldspar — An Embedded Language for Digital Signal Processing (EA, KC, MS, JS, DE, AP), pp. 121–136.
ICFP-2004-BrobergFS #regular expression
Regular expression patterns (NB, AF, JS), pp. 67–78.
ICFP-2002-Svenningsson #parametricity
Shortcut fusion for accumulating parameters & zip-like functions (JS), pp. 124–132.
IFL-2000-GustavssonS #analysis #bound #morphism #polymorphism #type system
A Usage Analysis with Bounded Usage Polymorphism and Subtyping (JG, JS), pp. 140–157.
Haskell-2013-AnknerS #approach #haskell #performance #programming
An EDSL approach to high performance Haskell programming (JA, JS), pp. 1–12.
PEPM-2016-NajdLSW #domain-specific language
Everything old is new again: quoted domain-specific languages (SN, SL, JS, PW), pp. 25–36.
QAPL-2017-LidmanS #fuzzy #logic #program analysis #using
Bridging Static and Dynamic Program Analysis using Fuzzy Logic (JL, JS), pp. 111–126.

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.