Henrik Nilsson

Navedeno

	Vse	Od leta 2020
Navedbe	2153	365
indeks h	24	8
indeks i10	32	8

140

105

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 13 9 10 18 7 9 22 26 28 55 56 55 56 86 105 98 115 139 137 89 125 105 101 106 105 81 106 73 57 79 50

Javni dostop

Prikaži vse

2 članka

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Paul HudakProfessor of Computer Science, Yale UniversityPreverjeni e-poštni naslov na yale.edu
Peter FritzsonProfessor of Computer Science, Linköping UniversityPreverjeni e-poštni naslov na liu.se
Neil SculthorpeNottingham Trent UniversityPreverjeni e-poštni naslov na ntu.ac.uk
Gregory HagerMandell Bellmore Professor of Computer Science, Johns Hopkins UniversityPreverjeni e-poštni naslov na cs.jhu.edu
Bas van GijzelSoftware Engineering Manager - Ethereum Runtime Development @ Nomic FoundationPreverjeni e-poštni naslov na nomic.foundation
ludovic henrioCNRSPreverjeni e-poštni naslov na ens-lyon.fr
David BromanProfessor, KTH Royal Institute of TechnologyPreverjeni e-poštni naslov na kth.se
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamPreverjeni e-poštni naslov na cs.nott.ac.uk
Roland BackhouseProfessor of Computing Science, University of NottinghaPreverjeni e-poštni naslov na cs.nott.ac.uk
Andrew J ParkesSchool of Computer Science, University of NottinghamPreverjeni e-poštni naslov na cs.nott.ac.uk
Peter ThiemannProfessor of Computer Science, University of FreiburgPreverjeni e-poštni naslov na informatik.uni-Freiburg.de

Spremljaj

Henrik Nilsson

Associate Professor, School of Computer Science, University of Nottingham

Preverjeni e-poštni naslov na cs.nott.ac.uk

functional programming design semantics and implementation of (declarative) programming and modelling languages


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
Arrows, robots, and functional reactive programming P Hudak, A Courtney, H Nilsson, J Peterson Advanced Functional Programming: 4th International School, AFP 2002, Oxford …, 2003	342	2003
Functional reactive programming, continued H Nilsson, A Courtney, J Peterson Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, 51-64, 2002	322	2002
The yampa arcade A Courtney, H Nilsson, J Peterson Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 7-18, 2003	179	2003
Algorithmic debugging for lazy functional languages1 H Nilsson, P Fritzson Journal of functional programming 4 (3), 337-369, 1994	116	1994
Declarative debugging for lazy functional languages H Nilsson Department of Computer and Information Science, Linköping University, 1998	108	1998
The evaluation dependence tree as a basis for lazy functional debugging H Nilsson, J Sparud Automated software engineering 4, 121-150, 1997	89	1997
How to look busy while being as lazy as ever: the implementation of a lazy functional debugger H Nilsson Journal of Functional Programming 11 (6), 629-671, 2001	80	2001
Functional hybrid modeling H Nilsson, J Peterson, P Hudak Practical Aspects of Declarative Languages: 5th International Symposium …, 2003	72	2003
Functional reactive programming, refactored I Perez, M Bärenz, H Nilsson 9th ACM SIGPLAN Symposium on Haskell (Haskell'16), 33-44, 2016	68	2016
Functional reactive robotics: An exercise in principled integration of domain-specific languages I Pembeci, H Nilsson, G Hager Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002	66	2002
Dynamic optimization for functional reactive programming using generalized algebraic data types H Nilsson ACM SIGPLAN Notices 40 (9), 54-65, 2005	53	2005
Algorithmic debugging for lazy functional languages H Nilsson, P Fritzson Programming Language Implementation and Logic Programming: 4th International …, 1992	48	1992
Safe functional reactive programming through dependent types N Sculthorpe, H Nilsson ACM Sigplan Notices 44 (9), 23-34, 2009	47	2009
Switched-on Yampa: Declarative programming of modular synthesizers G Giorgidze, H Nilsson Practical Aspects of Declarative Languages: 10th International Symposium …, 2008	40	2008
Embedding a functional hybrid modelling language in Haskell G Giorgidze, H Nilsson Symposium on Implementation and Application of Functional Languages, 138-155, 2008	37	2008
Higher-order non-causal modelling and simulation of structurally dynamic systems G Giorgidze, H Nilsson	35	2009
Testing and Debugging Functional Reactive Programming I Perez, H Nilsson Proceedings ACM Programming Languages 1 (1), Article 2, 27 pages, 2017	32	2017
Functional Hybrid Modeling from an Object-Oriented Perspective. H Nilsson, J Peterson, P Hudak EOOLT, 71-87, 2007	32	2007
Type-Based Structural Analysis for Modular Systems of Equations. H Nilsson EOOLT, 71-81, 2008	27	2008
Mixed-level embedding and JIT compilation for an iteratively staged DSL G Giorgidze, H Nilsson International Workshop on Functional and Constraint Logic Programming, 48-65, 2010	26	2010

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji