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: Svenningsson:Josef
Contributed to:
2014
2013
20112010200420022000
2013
2016
2017Wrote 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.