Josef

Citat de

	Toate	Din 2020
Referințe bibliografice	799	166
h-index	14	8
i10-index	15	7

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 4 5 9 11 27 15 17 17 11 20 27 45 43 59 52 75 72 58 45 45 34 40 16 28 3

Acces public

Afișați-le pe toate

9 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Emil AxelssonChalmers University of TechnologyAdresă de e-mail confirmată pe chalmers.se
Anders PerssonPhD candidate, Chalmers University of TechnologyAdresă de e-mail confirmată pe chalmers.se
Mary SheeranChalmers Univeresity of TechnologyAdresă de e-mail confirmată pe chalmers.se
Koen ClaessenChalmers University of TechnologyAdresă de e-mail confirmată pe chalmers.se
Bo Joel SvenssonLind Art & Technology ABAdresă de e-mail confirmată pe chalmers.se
Zoltán HorváthProfessor of Computer Science, Dept. Programming Languages and Compilers, Eötvös Loránd UniversityAdresă de e-mail confirmată pe inf.elte.hu
Sam LindleyThe University of EdinburghAdresă de e-mail confirmată pe ed.ac.uk
Philip WadlerUniversity of Edinburgh and IOHK/IOGAdresă de e-mail confirmată pe inf.ed.ac.uk
Shayan NajdThe University of EdinburghAdresă de e-mail confirmată pe ed.ac.uk
Jean-Philippe BernardyUniversity of Gothenburg and Chalmers University of TechnologyAdresă de e-mail confirmată pe gu.se
Niklas BrobergLecturer in Computer Science, Chalmers University of TechnologyAdresă de e-mail confirmată pe chalmers.se
David SandsProfessor of Computer Science, Chalmers University of TechnologyAdresă de e-mail confirmată pe chalmers.se
Nicholas SmallboneChalmers University of TechnologyAdresă de e-mail confirmată pe chalmers.se
Thomas ArtsProfessor of Software Engineering, ChalmersAdresă de e-mail confirmată pe quviq.com
Ulf NorellUniversity of GothenburgAdresă de e-mail confirmată pe chalmers.se
Hans SvenssonQuviq ABAdresă de e-mail confirmată pe quviq.com
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityAdresă de e-mail confirmată pe chalmers.se
Peter A. JonssonSwedish Institute of Computer ScienceAdresă de e-mail confirmată pe sics.se

Urmăriți

Josef

Facebook

Adresă de e-mail confirmată pe fb.com

Programming Languages Domain Specific Languages Compiler Technology


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
Shortcut fusion for accumulating parameters & zip-like functions J Svenningsson ACM SIGPLAN Notices 37 (9), 124-132, 2002	137	2002
Feldspar: A domain specific language for digital signal processing algorithms E Axelsson, K Claessen, G Dévai, Z Horváth, K Keijzer, B Lyckegård, ... Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010	128	2010
Combining deep and shallow embedding for EDSL J Svenningsson, E Axelsson International symposium on trends in functional programming, 21-36, 2012	91	2012
The design and implementation of feldspar: An embedded language for digital signal processing E Axelsson, K Claessen, M Sheeran, J Svenningsson, D Engdal, ... Symposium on Implementation and Application of Functional Languages, 121-136, 2010	75	2010
Constraint abstractions J Gustavsson, J Svenningsson Programs as Data Objects, 63-83, 2001	53	2001
Everything old is new again: quoted domain-specific languages S Najd, S Lindley, J Svenningsson, P Wadler Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016	50	2016
Regular expression patterns N Broberg, A Farre, J Svenningsson Proceedings of the ninth ACM SIGPLAN international conference on Functional …, 2004	33	2004
Generic monadic constructs for embedded languages A Persson, E Axelsson, J Svenningsson International Symposium on Implementation and Application of Functional …, 2011	31	2011
Defunctionalizing push arrays BJ Svensson, J Svenningsson Proceedings of the 3rd ACM SIGPLAN Workshop on Functional High-performance …, 2014	30	2014
Simple and compositional reification of monadic embedded languages JD Svenningsson, BJ Svensson ACM SIGPLAN Notices 48 (9), 299-304, 2013	27	2013
Combining deep and shallow embedding of domain-specific languages J Svenningsson, E Axelsson Computer Languages, Systems & Structures 44, 143-165, 2015	26	2015
An EDSL approach to high performance Haskell programming J Ankner, JD Svenningsson ACM SIGPLAN Notices 48 (12), 1-12, 2013	26	2013
A usage analysis with bounded usage polymorphism and subtyping J Gustavsson, J Svenningsson Implementation of Functional Languages, 140-157, 2001	26	2001
Specification and verification of side channel declassification J Svenningsson, D Sands International Workshop on Formal Aspects in Security and Trust, 111-125, 2009	17	2009
An expressive semantics of mocking J Svenningsson, H Svensson, N Smallbone, T Arts, U Norell, J Hughes Fundamental Approaches to Software Engineering: 17th International …, 2014	12	2014
Polymorphism, subtyping, whole program analysis and accurate data types in usage analysis T Gedell, J Gustavsson, J Svenningsson Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney …, 2006	8	2006
Counting and occurrence sort for GPUs using an embedded language JD Svenningsson, BJ Svensson, M Sheeran Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013	7	2013
On the duality of streams. how can linear types help to solve the lazy IO problem JP Bernardy, J Svenningsson IFL: Implementation and Application of Functional Languages 208, 95-130, 2015	5	2015
An efficient algorithm for a sharing analysis with polymorphism and subtyping J Svenningsson Masters thesis, June, 2000	5	2000
Composable efficient array computations using linear types JP Bernardy, VL Juan, J Svenningsson Unpublished Draft, 2016	3	2016

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori