default search action
Ulrik Pagh Schultz Lundquist
Person information
- affiliation: University of Southern Denmark, Odense, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c63]Benjamin Rouxel, Christopher Brown, Emad Ebeid, Kerstin Eder, Heiko Falk, Clemens Grelck, Jesper Holst, Shashank Jadhav, Yoann Marquer, Marcos Martinez de Alejandro, Kris Nikov, Ali Sahafi, Ulrik Pagh Schultz Lundquist, Adam Seewald, Vangelis Vassalos, Simon Wegener, Olivier Zendra:
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems. DATE 2023: 1-6 - [c62]Kasper A. R. Grøntved, Ulrik Pagh Schultz Lundquist, Anders Lyhne Christensen:
Decentralized Multi-UAV Trajectory Task Allocation in Search and Rescue Applications. ICAR 2023: 35-41 - [i15]Benjamin Rouxel, Christopher Brown, Emad Ebeid, Kerstin Eder, Heiko Falk, Clemens Grelck, Jesper Holst, Shashank Jadhav, Yoann Marquer, Marcos Martinez de Alejandro, Kris Nikov, Ali Sahafi, Ulrik Pagh Schultz Lundquist, Adam Seewald, Vangelis Vassalos, Simon Wegener, Olivier Zendra:
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems. CoRR abs/2306.06115 (2023) - 2022
- [j17]Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski:
Reversible Computing in Debugging of Erlang Programs. IT Prof. 24(1): 74-80 (2022) - [j16]Marco Kuhrmann, Paolo Tell, Regina Hebig, Jil Klünder, Jürgen Münch, Oliver Linssen, Dietmar Pfahl, Michael Felderer, Christian R. Prause, Stephen G. MacDonell, Joyce Nakatumba-Nabende, David Raffo, Sarah Beecham, Eray Tüzün, Gustavo López, Nicolás Paez, Diego Fontdevila, Sherlock A. Licorish, Steffen Küpper, Günther Ruhe, Eric Knauss, Özden Özcan-Top, Paul M. Clarke, Fergal McCaffery, Marcela Genero, Aurora Vizcaíno, Mario Piattini, Marcos Kalinowski, Tayana Conte, Rafael Prikladnicki, Stephan Krusche, Ahmet Coskunçay, Ezequiel Scott, Fabio Calefato, Svetlana Pimonova, Rolf-Helge Pfeiffer, Ulrik Pagh Schultz, Rogardt Heldal, Masud Fazal-Baqaie, Craig Anslow, Maleknaz Nayebi, Kurt Schneider, Stefan Sauer, Dietmar Winkler, Stefan Biffl, María Cecilia Bastarrica, Ita Richardson:
What Makes Agile Software Development Agile? IEEE Trans. Software Eng. 48(9): 3523-3539 (2022) - [c61]Miguel Campusano, Ulrik Pagh Schultz Lundquist:
Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing. GPCE 2022: 72-85 - [c60]Adam Seewald, Héctor García de Marina, Henrik Skov Midtiby, Ulrik Pagh Schultz:
Energy-Aware Planning-Scheduling for Autonomous Aerial Robots. IROS 2022: 2946-2953 - [i14]Adam Seewald, Héctor García de Marina, Henrik Skov Midtiby, Ulrik Pagh Schultz:
Energy-Aware Planning-Scheduling for Autonomous Aerial Robots. CoRR abs/2207.11056 (2022) - 2021
- [j15]Adam Seewald, Ulrik Pagh Schultz, Emad Ebeid, Henrik Skov Midtiby:
Coarse-Grained Computation-Oriented Energy Modeling for Heterogeneous Parallel Embedded Systems. Int. J. Parallel Program. 49(2): 136-157 (2021) - [j14]Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski:
Reversible Execution for Robustness in Embodied AI and Industrial Robots. IT Prof. 23(3): 12-17 (2021) - [c59]Martin Skriver, Anders Stengaard Sørensen, Ulrik Pagh Schultz:
HEIST: A Hardware Signal Fault Injection Methodology Enabling Feasible Software Robustness Testing. DDECS 2021: 123-126 - [c58]Miguel Campusano, Kjeld Jensen, Ulrik Pagh Schultz:
Towards a Service-Oriented U-Space Architecture for Autonomous Drone Operations. RoSE@ICSE 2021: 63-66 - [i13]Marco Kuhrmann, Paolo Tell, Regina Hebig, Jil Klünder, Jürgen Münch, Oliver Linssen, Dietmar Pfahl, Michael Felderer, Christian R. Prause, Stephen G. MacDonell, Joyce Nakatumba-Nabende, David Raffo, Sarah Beecham, Eray Tüzün, Gustavo López, Nicolás Paez, Diego Fontdevila, Sherlock A. Licorish, Steffen Küpper, Günther Ruhe, Eric Knauss, Özden Özcan-Top, Paul M. Clarke, Fergal McCaffery, Marcela Genero, Aurora Vizcaíno, Mario Piattini, Marcos Kalinowski, Tayana Conte, Rafael Prikladnicki, Stephan Krusche, Ahmet Coskunçay, Ezequiel Scott, Fabio Calefato, Svetlana Pimonova, Rolf-Helge Pfeiffer, Ulrik Pagh Schultz, Rogardt Heldal, Masud Fazal-Baqaie, Craig Anslow, Maleknaz Nayebi, Kurt Schneider, Stefan Sauer, Dietmar Winkler, Stefan Biffl, María Cecilia Bastarrica, Ita Richardson:
What Makes Agile Software Development Agile? CoRR abs/2109.11435 (2021) - 2020
- [j13]David J. Pearce, Ulrik Pagh Schultz:
Editorial for GPCE&SLE2018 Special Issue. J. Comput. Lang. 59: 100988 (2020) - [c57]Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, Clemens Grelck:
PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report. GPCE 2020: 70-83 - [c56]Adam Seewald, Héctor García de Marina, Henrik Skov Midtiby, Ulrik Pagh Schultz:
Mechanical and Computational Energy Estimation of a Fixed-Wing Drone. IRC 2020: 135-142 - [c55]Georgios Zamanakos, Adam Seewald, Henrik Skov Midtiby, Ulrik Pagh Schultz:
Energy-Aware Design of Vision-Based Autonomous Tracking and Landing of a UAV. IRC 2020: 294-297 - [c54]Miguel Campusano, Niels Heltner, Niclas Mølby, Kjeld Jensen, Ulrik Pagh Schultz:
Towards Declarative Specification of Multi-Drone BVLOS Missions for UTM. IRC 2020: 430-431 - [p2]Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik Pagh Schultz, Irek Ulidowski:
Software and Reversible Systems: A Survey of Recent Activities. Selected Results of the COST Action IC1405 2020: 41-59 - [p1]Ulrik Pagh Schultz:
Reversible Control of Robots. Selected Results of the COST Action IC1405 2020: 177-186 - [e4]Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira:
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Lecture Notes in Computer Science 12070, Springer 2020, ISBN 978-3-030-47360-0 [contents]
2010 – 2019
- 2019
- [c53]Adam Seewald, Ulrik Pagh Schultz, Julius Roeder, Benjamin Rouxel, Clemens Grelck:
Component-based computation-energy modeling for embedded systems. SPLASH (Companion Volume) 2019: 5-6 - 2018
- [j12]Emad Ebeid, Martin Skriver, Kristian Husum Terkildsen, Kjeld Jensen, Ulrik Pagh Schultz:
A survey of Open-Source UAV flight controllers and flight simulators. Microprocess. Microsystems 61: 11-20 (2018) - [j11]Johan Sund Laursen, Lars-Peter Ellekilde, Ulrik Pagh Schultz:
Modelling reversible execution of robotic assembly. Robotica 36(5): 625-654 (2018) - [c52]Johan Sund Laursen, Lars Carøe Sørensen, Ulrik Pagh Schultz, Lars-Peter Ellekilde, Dirk Kraft:
Adapting Parameterized Motions Using Iterative Learning and Online Collision Detection. ICRA 2018: 7587-7594 - [c51]Ulrik Pagh Schultz:
Reversible Object-Oriented Programming with Region-Based Memory Management - Work-in-progress Report. RC 2018: 322-328 - [c50]Johann Thor Mogensen Ingibergsson, Stefan Hanenberg, Joshua Sunshine, Ulrik Pagh Schultz:
Experience report: studying the readability of a domain specific language. SAC 2018: 2030-2033 - 2017
- [j10]Aniruddha S. Gokhale, Kenichi Asai, Ulrik Pagh Schultz:
Special Issue on the 2015 International Conference on Generative Programming: Concepts & Experiences (GPCE). Comput. Lang. Syst. Struct. 48: 1-2 (2017) - [c49]Johann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz:
Increasing Safety by Combining Multiple Declarative Rules in Robotic Perception Systems. CyPhy 2017: 43-60 - [c48]Johann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz:
Safety Computer Vision Rules for Improved Sensor Certification. IRC 2017: 89-92 - [c47]Paolo Tell, Rolf-Helge Pfeiffer, Ulrik Pagh Schultz:
HELENA Stage 2 - Danish Overview. PROFES 2017: 420-427 - [c46]Johann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz:
Explicit Image Quality Detection Rules for Functional Safety in Computer Vision. VISIGRAPP (6: VISAPP) 2017: 433-444 - [e3]Ulrik Pagh Schultz, Jeremy Yallop:
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017. ACM 2017, ISBN 978-1-4503-4721-1 [contents] - 2016
- [c45]Sorin Adam, Marco Kuhrmann, Ulrik Pagh Schultz:
Towards a virtual machine approach to resilient and safe mobile robots. ETFA 2016: 1-8 - [c44]Sorin Adam, Marco Kuhrmann, Ulrik Pagh Schultz:
Automatic code generation in practice: experiences with embedded robot controllers. GPCE 2016: 104-108 - [c43]Anders Stengaard Sørensen, Jacob Nielsen, Jorgen Maagaard, Martin Skriver, Chih-Cheng Lin, Ulrik Pagh Schultz:
Low-cost modular robotic system for neurological rehabilitative training. ICIT 2016: 1585-1591 - [c42]Ulrik Pagh Schultz, Holger Bock Axelsen:
Elements of a Reversible Object-Oriented Language - Work-in-Progress Report. RC 2016: 153-159 - [i12]Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich, Sebastian Wrede:
Proceedings of the Sixth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2015). CoRR abs/1601.00877 (2016) - [i11]Johann Thor Mogensen Ingibergsson, Ulrik Pagh Schultz, Dirk Kraft:
Towards Declarative Safety Rules for Perception Specification Architectures. CoRR abs/1601.02778 (2016) - [i10]Johann Thor Mogensen Ingibergsson, Stefan-Daniel Suvei, Mikkel Kragh Hansen, Peter Christiansen, Ulrik Pagh Schultz:
Towards a DSL for Perception-Based Safety Systems. CoRR abs/1603.01965 (2016) - 2015
- [c41]Sorin Adam, Ulrik Pagh Schultz:
Towards tool support for spreadsheet-based domain-specific languages. GPCE 2015: 95-98 - [c40]Ulrik Pagh Schultz, Mirko Bordignon, Kasper Støy, Arne Nordmann, Nico Hochgeschwender, Sebastian Wrede:
DSLs in Robotics: A Case Study in Programming Self-reconfigurable Robots. GTTSE 2015: 98-123 - [c39]Johan Sund Laursen, Ulrik Pagh Schultz, Lars-Peter Ellekilde:
Automatic error recovery in robot assembly operations using reverse execution. IROS 2015: 1785-1792 - [c38]Johann Thor Mogensen Ingibergsson, Ulrik Pagh Schultz, Marco Kuhrmann:
On the Use of Safety Certification Practices in Autonomous Field Robot Software Development: A Systematic Mapping Study. PROFES 2015: 335-352 - [c37]Ulrik Pagh Schultz, Johan Sund Laursen, Lars-Peter Ellekilde, Holger Bock Axelsen:
Towards a Domain-Specific Language for Reversible Assembly Sequences. RC 2015: 111-126 - 2014
- [c36]Anders Stengaard Sørensen, Thiusius Rajeeth Savarimuthu, Jacob Nielsen, Ulrik Pagh Schultz:
Towards using a generic robot as training partner: off-the-shelf robots as a platform for flexible and affordable rehabilitation. HRI 2014: 294-295 - [c35]Jacob Pørksen Buch, Johan Sund Laursen, Lars Carøe Sørensen, Lars-Peter Ellekilde, Dirk Kraft, Ulrik Pagh Schultz, Henrik Gordon Petersen:
Applying Simulation and a Domain-Specific Language for an Adaptive Action Library. SIMPAR 2014: 86-97 - [c34]Sorin Adam, Morten Larsen, Kjeld Jensen, Ulrik Pagh Schultz:
Towards Rule-Based Dynamic Safety Monitoring for Mobile Robots. SIMPAR 2014: 207-218 - [e2]Ulrik Pagh Schultz, Matthew Flatt:
Generative Programming: Concepts and Experiences, GPCE'14, Vasteras, Sweden, September 15-16, 2014. ACM 2014, ISBN 978-1-4503-3161-6 [contents] - [i9]Anders Blaabjerg Lange, Ulrik Pagh Schultz, Anders Stengaard Sørensen:
Towards Automatic Migration of ROS Components from Software to Hardware. CoRR abs/1407.7560 (2014) - [i8]Luca Gherardi, Nico Hochgeschwender, Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich:
Proceedings of the Fifth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2014). CoRR abs/1411.7148 (2014) - [i7]Johan Sund Laursen, Jacob Pørksen Buch, Lars Carøe Sørensen, Dirk Kraft, Henrik Gordon Petersen, Lars-Peter Ellekilde, Ulrik Pagh Schultz:
Towards Error Handling in a DSL for Robot Assembly Tasks. CoRR abs/1412.4538 (2014) - [i6]Sorin Adam, Ulrik Pagh Schultz:
Towards Interactive, Incremental Programming of ROS Nodes. CoRR abs/1412.4714 (2014) - 2013
- [j9]David Johan Christensen, Ulrik Pagh Schultz, Kasper Støy:
A distributed and morphology-independent strategy for adaptive locomotion in self-reconfigurable modular robots. Robotics Auton. Syst. 61(9): 1021-1035 (2013) - [c33]Anders Blaabjerg Lange, Ulrik Pagh Schultz, Anders Stengaard Sørensen:
Unity-link: A software-gateware interface for rapid prototyping of experimental robot controllers on FPGAs. IROS 2013: 3899-3906 - [c32]Stephanie Balzer, Ulrik Pagh Schultz:
Splash'13 workshops summary. SPLASH (Companion Volume) 2013: 177-178 - [i5]Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich:
Proceedings of the Third International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2012). CoRR abs/1302.5082 (2013) - [i4]Mikael Moghadam, David Johan Christensen, David Brandt, Ulrik Pagh Schultz:
Towards Python-based Domain-specific Languages for Self-reconfigurable Modular Robotics Research. CoRR abs/1302.5521 (2013) - [i3]Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich:
Proceedings of the Fourth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2013). CoRR abs/1312.5952 (2013) - 2012
- [c31]Ulrik Pagh Schultz:
Using scheme to control simulated modular robots. Scheme@ICFP 2012: 90-95 - [c30]Ulrik Pagh Schultz:
Programming language abstractions for self-reconfigurable robots. SPLASH 2012: 69-70 - [c29]Anders Blaabjerg Lange, Karsten Holm Andersen, Ulrik Pagh Schultz, Anders Stengaard Sørensen:
HartOS - A hardware implemented RTOS for hard real-time applications. PDeS 2012: 207-213 - [c28]Ulrik Pagh Schultz:
Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots. RC 2012: 97-111 - [i2]Ulrik Pagh Schultz, Serge Stinckwich:
Proceedings of the Second International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2011). CoRR abs/1212.3308 (2012) - 2011
- [j8]Ulrik Pagh Schultz, Mirko Bordignon, Kasper Støy:
Robust and reversible execution of self-reconfiguration sequences. Robotica 29(1): 35-57 (2011) - [j7]Jacob Beal, Olivier Michel, Ulrik Pagh Schultz:
Spatial Computing: Distributed Systems That Take Advantage of Our Geometric World. ACM Trans. Auton. Adapt. Syst. 6(2): 11:1-11:3 (2011) - [c27]Mirko Bordignon, Kasper Støy, Ulrik Pagh Schultz:
Generalized programming of modular robots through kinematic configurations. IROS 2011: 3659-3666 - [e1]Ewen Denney, Ulrik Pagh Schultz:
Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011. ACM 2011, ISBN 978-1-4503-0689-8 [contents] - [i1]Ulrik Pagh Schultz, Serge Stinckwich, Mikal Ziane:
Proceedings of the first international workshop on domain-specific languages for robotic systems (DSLRob 2010). CoRR abs/1102.4563 (2011) - 2010
- [c26]Mirko Bordignon, Ulrik Pagh Schultz, Kasper Støy:
Model-based kinematics generation for modular mechatronic toolkits. GPCE 2010: 157-166 - [c25]David Johan Christensen, Ulrik Pagh Schultz, Kasper Støy:
A distributed strategy for gait adaptation in modular robots. ICRA 2010: 2765-2770 - [c24]Payam Zahadat, David Johan Christensen, Ulrik Pagh Schultz, Serajeddin Katebi, Kasper Støy:
Fractal Gene Regulatory Networks for Robust Locomotion Control of Modular Robots. SAB 2010: 544-554
2000 – 2009
- 2009
- [c23]Mirko Bordignon, Kasper Støy, Ulrik Pagh Schultz:
A virtual machine-based approach for fast and flexible reprogramming of modular robots. ICRA 2009: 4273-4280 - [c22]Ricardo Franco Mendoza Garcia, Ulrik Pagh Schultz, Kasper Støy:
On the efficiency of local and global communication in modular robots. IROS 2009: 1502-1508 - [c21]Ulrik Pagh Schultz, Mirko Bordignon, Kasper Støy:
Robust and reversible self-reconfiguration. IROS 2009: 5287-5294 - 2008
- [c20]David Johan Christensen, Mirko Bordignon, Ulrik Pagh Schultz, Danish Shaikh, Kasper Støy:
Morphology Independent Learning in Modular Robots. DARS 2008: 379-391 - [c19]Kasper Støy, David Johan Christensen, David Brandt, Mirko Bordignon, Ulrik Pagh Schultz:
Exploit Morphology to Simplify Docking of Self-reconfigurable Robots. DARS 2008: 441-452 - [c18]David Johan Christensen, David Brandt, Kasper Støy, Ulrik Pagh Schultz:
A unified simulator for Self-Reconfigurable Robots. IROS 2008: 870-876 - [c17]Ulrik Pagh Schultz, Mirko Bordignon, David Johan Christensen, Kasper Støy:
Spatial Computing with Labels. SASO Workshops 2008: 326-331 - [c16]Mirko Bordignon, Lars Lindegaard Mikkelsen, Ulrik Pagh Schultz:
Implementing Flexible Parallelism for Modular Self-reconfigurable Robots. SIMPAR 2008: 123-134 - 2007
- [j6]Torbjörn Ekman, Peter Mechlenborg, Ulrik Pagh Schultz:
Flexible Language Interoperability. J. Object Technol. 6(8): 95-116 (2007) - [c15]Marco T. Morazán, Ulrik Pagh Schultz:
Optimal Lambda Lifting in Quadratic Time. IFL 2007: 37-56 - [c14]Ulrik Pagh Schultz:
Distributed control diffusion: towards a flexible programming paradigm for modular robots. ROBOCOMM 2007: 15 - [c13]David Johan Christensen, David Brandt, Ulrik Pagh Schultz, Kasper Støy:
Neighbor detection and crosstalk elimination in self-reconfigurable robots. ROBOCOMM 2007: 26 - 2006
- [c12]Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz:
Issues in holistic system design. PLOS 2006: 12 - [c11]Emanuela P. Lins, Ulrik Pagh Schultz:
Supporting transparent evolution of component interfaces. SAC 2006: 1629-1630 - 2004
- [j5]Olivier Danvy, Ulrik Pagh Schultz:
Lambda-Lifting in Quadratic Time. J. Funct. Log. Program. 2004 (2004) - [c10]Kjeld Høyer Mortensen, Kari R. Schougaard, Ulrik Pagh Schultz:
Distance-Based Access Modifiers Applied to Safety in Home Networks. EUSAI 2004: 315-326 - [c9]Ulrik Pagh Schultz:
A Unification of Inheritance and Automatic Program Specialization. GPCE 2004: 244-265 - [c8]Helle Markmann Andersen, Ulrik Pagh Schultz:
Declarative specialization for object-oriented-program specialization. PEPM 2004: 27-38 - 2003
- [j4]Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel:
Automatic program specialization for Java. ACM Trans. Program. Lang. Syst. 25(4): 452-499 (2003) - [c7]Ulrik Pagh Schultz, Kim Burgaard, Flemming Gram Christensen, Jørgen Lindskov Knudsen:
Compiling java for low-end embedded systems. LCTES 2003: 42-50 - 2002
- [c6]Olivier Danvy, Ulrik Pagh Schultz:
Lambda-Lifting in Quadratic Time. FLOPS 2002: 134-151 - 2001
- [c5]Ulrik Pagh Schultz:
Partial Evaluation for Class-Based Object-Oriented Languages. PADO 2001: 173-197 - 2000
- [j3]Olivier Danvy, Ulrik Pagh Schultz:
Lambda-dropping: transforming recursive equations into programs with block structure. Theor. Comput. Sci. 248(1-2): 243-287 (2000) - [j2]Lars Ræder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller:
Java bytecode compression for low-end embedded systems. ACM Trans. Program. Lang. Syst. 22(3): 471-489 (2000) - [c4]Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel:
Specialization Patterns. ASE 2000: 197-
1990 – 1999
- 1999
- [j1]Gilles Muller, Ulrik Pagh Schultz:
Harissa: A Hybrid Approach to Java Execution. IEEE Softw. 16(2): 44-51 (1999) - [c3]Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller:
Towards Automatic Specialization of Java Programs. ECOOP 1999: 367-390 - [c2]Ulrik Pagh Schultz:
Black-Box Program Specialization. ECOOP Workshops 1999: 187 - 1997
- [c1]Olivier Danvy, Ulrik Pagh Schultz:
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. PEPM 1997: 90-106
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint