Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Colin Runciman, Nigel Jagger |
Relative Specification and Transformational Re-Use of Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 3(1), pp. 21-37, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Erik Ruf, Daniel Weise |
LogScheme: Integrating Logic Programming into Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 3(3), pp. 245-288, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Margaret H. Derbyshire |
Mark Scan Garbage Collection on a Distributed Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 3(2), pp. 135-170, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | R. Ghosh-Roy |
Conjunction-Type Standard ML Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 3(4), pp. 381-409, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Dorai Sitaram, Matthias Felleisen |
Control Delimiters and Their Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 3(1), pp. 67-99, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Göran Båge, Gary Lindstrom |
Combinator Evaluation of Functional Programs with Logical Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 3(3), pp. 289-320, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Pierre E. Bonzon |
A Metacircular Evaluator for a Logical Extension of Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 3(2), pp. 113-133, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Mohammad Pourheidari, Robert R. Kessler, Harold Carr |
Moped (A Portable Debugger). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 3(1), pp. 39-65, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Andrew W. Appel |
Runtime Tags Aren't Necessary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 2(2), pp. 153-162, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
18 | Klaus Grue |
Arrays in Pure Functional Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 2(2), pp. 105-113, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
18 | Hassan Aït-Kaci, Roger Nasr |
Integrating Logic and Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 2(1), pp. 51-89, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
18 | Williams Ludwell Harrison III |
The Interprocedural Analysis and Automatic Parallelization of Scheme Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 2(2), pp. 179-396, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
18 | Neil D. Jones, Peter Sestoft, Harald Søndergaard |
Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 2(1), pp. 9-50, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
18 | R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes |
Expansion-Passing Style: A General Macro Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 1(1), pp. 53-75, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
18 | Kevin J. Lang, Barak A. Pearlmutter |
Oaklisp: An Object-Oriented Dialect of Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 1(1), pp. 39-51, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
18 | Adrienne G. Bloss, Paul Hudak, Jonathan Young |
Code Optimizations for Lazy Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 1(2), pp. 147-164, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
18 | Mitchell Wand, Daniel P. Friedman |
The Mystery of the Tower Revealed: A Nonreflective Description of the Reflective Tower. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 1(1), pp. 11-37, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
18 | Richard P. Gabriel, Kent M. Pitman |
Endpaper: Technical Issues of Separation in Function Cells and Value Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 1(1), pp. 81-101, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
18 | Karl J. Lieberherr |
Object-Oriented Programming with Class Dictionaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 1(2), pp. 185-212, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
18 | John T. O'Donnell, Cordelia V. Hall |
Debugging in Applicative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 1(2), pp. 113-145, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
15 | Michael Wessel |
Notes on Refactoring Exponential Macros in Common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.02991, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Nathan Braswell, Sharjeel Khan, Santosh Pande |
Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.12254, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Rodríguez-Natal, Vina Ermagan, Albert Cabellos, Sharon Barkai, Mohamed Boucadair |
Publish/Subscribe Functionality for the Locator/ID Separation Protocol (LISP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 9437, pp. 1-18, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Benjamin Steinert, Marco Häberle, Jan-Oliver Nick, Dino Farinacci, Michael Menth |
P4-LISP: A P4-Based High-Performance Router for the Locator/Identifier Separation Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetSoft ![In: 9th IEEE International Conference on Network Softwarization, NetSoft 2023, Madrid, Spain, June 19-23, 2023, pp. 89-97, 2023, IEEE, 979-8-3503-9980-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tom Piron, Luigi Iannone, Benoit Donnet |
Implementation and Evaluation of LISP Publish/Subscribe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
6GNet ![In: 2nd International Conference on 6G Networking, 6GNet 2023, Paris, France, October 18-20, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-0673-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kyoungjae Sun, Jangwon Lee, Young-Han Kim 0002 |
LISP-Based Control Plane for Service Connectivity in Multi-Cluster Cloud Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 24786-24796, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Fritz Kunze, Lauren Kunze |
The History of Franz and Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 44(1), pp. 103-108, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Rodríguez-Natal, Vina Ermagan, Anton Smirnov, Vrushali Ashtaputre, Dino Farinacci |
Vendor-Specific LISP Canonical Address Format (LCAF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 9306, pp. 1-5, October 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Maino, Jennifer Lemon, Puneet Agarwal, Darrel Lewis, Michael Smith |
Locator/ID Separation Protocol (LISP) Generic Protocol Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 9305, pp. 1-14, October 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Dino Farinacci, Vince Fuller, Dave Meyer, Darrel Lewis, Albert Cabellos |
The Locator/ID Separation Protocol (LISP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 9300, pp. 1-33, October 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Dino Farinacci, Fabio Maino, Vince Fuller, Albert Cabellos |
Locator/ID Separation Protocol (LISP) Control Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 9301, pp. 1-42, October 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed Boucadair, Christian Jacquenet |
Locator/ID Separation Protocol (LISP): Shared Extension Message and IANA Registry for Packet Type Allocations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 9304, pp. 1-5, October 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Albert Cabellos, Damien Saucez |
An Architectural Introduction to the Locator/ID Separation Protocol (LISP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 9299, pp. 1-24, October 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Luigi Iannone, Damien Saucez, Olivier Bonaventure |
Locator/ID Separation Protocol (LISP) Map-Versioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 9302, pp. 1-15, October 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Maino, Vina Ermagan, Albert Cabellos, Damien Saucez |
Locator/ID Separation Protocol Security (LISP-SEC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 9303, pp. 1-23, October 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Huanyu Chi, Zekun Fei, Peinuo Li, Boyu Yang, Zhi Wang 0014, Li Gu |
LISP-TBCNN: An AutoCAD Malware Detection Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSC ![In: 7th IEEE International Conference on Data Science in Cyberspace, DSC 2022, Guilin, China, July 11-13, 2022, pp. 353-359, 2022, IEEE, 978-1-6654-7480-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jun Hu, Tian Pan 0001, Yujie Chen, Xuebei Zhang, Tao Huang 0005, Yunjie Liu 0001 |
LISP-LEO: Location/Identity Separation-based Mobility Management for LEO Satellite Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: IEEE Global Communications Conference, GLOBECOM 2022, Rio de Janeiro, Brazil, December 4-8, 2022, pp. 1558-1563, 2022, IEEE, 978-1-6654-3540-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Didier Verna (eds.) |
Proceedings of the 15th European Lisp Symposium, ELS 2022, Porto, Portugal, April 21-22, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![ELSAA, 978-2-9557474-6-9 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Sam Ritchie |
Building SICMUtils, the Atelier of Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 15th European Lisp Symposium, ELS 2022, Porto, Portugal, April 21-22, 2022, pp. 1, 2022, ELSAA, 978-2-9557474-6-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Miguel Marcelino, António Menezes Leitão |
Transpiling Python to Julia using PyJL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 15th European Lisp Symposium, ELS 2022, Porto, Portugal, April 21-22, 2022, pp. 40-47, 2022, ELSAA, 978-2-9557474-6-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Didier Verna |
ETAP: Experimental Typesetting Algorithms Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 15th European Lisp Symposium, ELS 2022, Porto, Portugal, April 21-22, 2022, pp. 48-52, 2022, ELSAA, 978-2-9557474-6-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Michael Raskin |
QueryFS: compiling queries to define a filesystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 15th European Lisp Symposium, ELS 2022, Porto, Portugal, April 21-22, 2022, pp. 14-19, 2022, ELSAA, 978-2-9557474-6-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Turgut Reis Kursun, Jens Van der Plas, Quentin Stiévenart, Coen De Roover |
RacketLogger: Logging and Visualising Changes in DrRacket. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 15th European Lisp Symposium, ELS 2022, Porto, Portugal, April 21-22, 2022, pp. 61-68, 2022, ELSAA, 978-2-9557474-6-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Stefan Monnier |
Open Closures - Disclosing lambda's inner monomaniac object! ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 15th European Lisp Symposium, ELS 2022, Porto, Portugal, April 21-22, 2022, pp. 6-13, 2022, ELSAA, 978-2-9557474-6-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Robert Strandh, Irène Durand |
A CLOS protocol for lexical environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 15th European Lisp Symposium, ELS 2022, Porto, Portugal, April 21-22, 2022, pp. 20-26, 2022, ELSAA, 978-2-9557474-6-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Kyoungjae Sun, Younghan Kim 0002 |
LISP-Based Integrated Control Plane Framework for Service Function Chaining in Distributed Edge Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 52944-52956, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Tai-Hoon Kim, Gulshan Kumar, Rahul Saha, William J. Buchanan, Tannishtha Devgun, Reji Thomas |
LiSP-XK: Extended Light-Weight Signcryption for IoT in Resource-Constrained Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 100972-100980, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mattias Gabriel, Luigi Iannone, Benoit Donnet |
Lisp Mapping System as DoS Amplification Vector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Netw. Lett. ![In: IEEE Netw. Lett. 3(1), pp. 36-39, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Marco Heisig (eds.) |
Proceedings of the 14th European Lisp Symposium, ELS 2021, Online, May 3-4, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![ELSAA, 978-2-9557474-3-8 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Mark Thom, Harold Boley, Theodoros Mitsikas |
cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR ![In: Rules and Reasoning - 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings, pp. 234-249, 2021, Springer, 978-3-030-91166-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Nada Amin |
Staged Relational Interpreters: Running Backwards, Faster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 14th European Lisp Symposium, ELS 2021, Online, May 3-4, 2021, pp. 1, 2021, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Andrew Sorensen |
Symbolic expressions for cyber-physical programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 14th European Lisp Symposium, ELS 2021, Online, May 3-4, 2021, pp. 1-2, 2021, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Hayley Patton |
A replicated object system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 14th European Lisp Symposium, ELS 2021, Online, May 3-4, 2021, pp. 46-53, 2021, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Jim E. Newton, Adrien Pommellet |
A Portable, Simple, Embeddable Type System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 14th European Lisp Symposium, ELS 2021, Online, May 3-4, 2021, pp. 11-20, 2021, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Marc-André Bélanger, Marc Feeley |
A Scheme Foreign Function Interface to JavaScript Based on an Infix Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 14th European Lisp Symposium, ELS 2021, Online, May 3-4, 2021, pp. 63-71, 2021, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Antoine Hacquard, Didier Verna |
A Corpus Processing and Analysis Pipeline for Quickref. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 14th European Lisp Symposium, ELS 2021, Online, May 3-4, 2021, pp. 27-35, 2021, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Andrew Lawson, Inna Grinis |
Producing News Analytics and Turning them into Actionable Insights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 14th European Lisp Symposium, ELS 2021, Online, May 3-4, 2021, pp. 2, 2021, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Stefan Monnier, Michael Sperber |
Evolution of Emacs Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(HOPL), pp. 74:1-74:55, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Kyoungjae Sun, Younghan Kim 0002 |
Enhanced LISP Mapping System for Optimizing Service Path in Edge Computing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 190559-190571, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Marco Antoniotti |
Why You Cannot (Yet) Write an "Interval Arithmetic" Library in Common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.03831, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Eric C. Peterson, Peter J. Karalekas |
aether: Distributed system emulation in Common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.06180, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Bohdan Khomtchouk, Jonah Fleishhacker |
21st Century Lisp in Academic Research and Pedagogy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scheme@ICFP ![In: Proceedings of the 2020 Scheme and Functional Programming Workshop, Online, Virtual Event, August 20-28, 2020., pp. 2, 2020, University of Michigan. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Kyoungjae Sun, Young-Han Kim 0002 |
LISP-based Hierarchical Service Mobility Management for the Tactical Edge Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: International Conference on Information and Communication Technology Convergence, ICTC 2020, Jeju Island, Korea (South), October 21-23, 2020, pp. 520-522, 2020, IEEE, 978-1-7281-6758-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ioanna Matilde Dimitriou Henríquez (eds.) |
Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![ELSAA, 978-2-9557474-3-8 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Shiva Asadianfam, Hoshang Kolivand |
Verification of Airport Control Using Lisp Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DeSE ![In: 13th International Conference on Developments in eSystems Engineering, DeSE 2020, Liverpool, United Kingdom, December 14-17, 2020, pp. 245-250, 2020, IEEE, 978-1-6654-2238-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Max Rottenkolber |
Later Binding: Just-in-Time Compilation of a Younger Dynamic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020., pp. 41-45, 2020, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Andy Keep |
Workshop: Mixing Mutability into the Nanopass Framework (ELS invited workshop). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020., 2020, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Robert Strandh |
Representing method combinations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020., pp. 60-67, 2020, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Corallo, Luca Nassi, Nicola Manca |
Bringing GNU Emacs to native code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020., pp. 68-75, 2020, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Irène Durand |
Bidirectional leveled enumerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020., pp. 33-40, 2020, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Amr Abdelwahab |
Privilege as a technical debt (ELS keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020., 2020, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Robert Strandh |
Omnipresent and low-overhead application debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020., pp. 8-15, 2020, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Andy Keep |
The Nanopass Framework as a Nanopass Compiler (ELS keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020., 2020, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Peter S. Housel |
LLVM Code Generation for Open Dylan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020., pp. 46-51, 2020, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Rajesh Jayaprakash |
Partial Evaluation Based CPS Transformation: An Implementation Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020., pp. 52-59, 2020, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Frédéric Hamel, Marc Feeley |
An R7RS Compatible Module System forTermite Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020., pp. 16-25, 2020, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Eunil Seo, Vyacheslav V. Zalyubovskiy, Tai-Myoung Chung |
Mathematical Modeling of the Scalable LISP-deployed Software-Defined Wireless Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Commun. ![In: J. Commun. 14(8), pp. 727-738, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | J Strother Moore |
Milestones from the Pure Lisp theorem prover to ACL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 31(6), pp. 699-732, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Neuss (eds.) |
Proceedings of the 12th European Lisp Symposium (ELS 2019), Genova, Italy, April 1-2, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![ELSAA, 978-2-9557474-3-8 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Michael A. Raskin, Christoph Welzel |
Working with First Order Proofs and Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 12th European Lisp Symposium (ELS 2019), Genova, Italy, April 1-2, 2019., pp. 42-45, 2019, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Hafner |
Shader Pipeline and Effect Encapsulation Using CLOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 12th European Lisp Symposium (ELS 2019), Genova, Italy, April 1-2, 2019., pp. 66-72, 2019, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Didier Verna |
Parallelizing Quickref. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 12th European Lisp Symposium (ELS 2019), Genova, Italy, April 1-2, 2019., pp. 89-96, 2019, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Léo Valais, Jim E. Newton, Didier Verna |
Implementing Baker's SUBTYPEP Decision Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 12th European Lisp Symposium (ELS 2019), Genova, Italy, April 1-2, 2019., pp. 12-19, 2019, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jim E. Newton, Didier Verna |
Finite Automata Theory Based Optimization of Conditional Variable Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 12th European Lisp Symposium (ELS 2019), Genova, Italy, April 1-2, 2019., pp. 26-33, 2019, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ryan Culpepper |
Pattern-Based S-Expression Rewriting in Emacs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 12th European Lisp Symposium (ELS 2019), Genova, Italy, April 1-2, 2019., pp. 8-10, 2019, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Irène Durand, Robert Strandh |
MAKE-METHOD-LAMBDA Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 12th European Lisp Symposium (ELS 2019), Genova, Italy, April 1-2, 2019., pp. 20-23, 2019, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Muneer Kallash, Jonathan Loo, Aboubaker Lasebae, Mahdi Aiash |
A security framework for node-to-node communications based on the LISP architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Electron. Secur. Digit. Forensics ![In: Int. J. Electron. Secur. Digit. Forensics 10(3), pp. 276-291, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Bohdan B. Khomtchouk, Edmund Weitz, Peter D. Karp, Claes Wahlestedt |
How the strengths of Lisp-family languages facilitate building complex and flexible bioinformatics applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Briefings Bioinform. ![In: Briefings Bioinform. 19(3), pp. 537-543, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Didier Verna |
Lisp, Jazz, Aikido - Three Expressions of a Single Essence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Art Sci. Eng. Program. ![In: Art Sci. Eng. Program. 2(3), pp. 10, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Kyle I. S. Harrington, Curtis T. Rueden, Kevin W. Eliceiri |
FunImageJ: a Lisp framework for scientific image processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 34(5), pp. 899-900, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Didier Verna |
Lisp, Jazz, Aikido - Three Expressions of a Single Essence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.00485, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Yuan Luo 0001, Peter Szolovits |
Implementing a Portable Clinical NLP System with a Common Data Model - a Lisp Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.06179, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Musab Isah, Steven Simpson, Chris Edwards |
An Improved LISP Mobile Node Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 118, pp. 29-43, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Victor Moreno, Dino Farinacci |
Signal-Free Locator/ID Separation Protocol (LISP) Multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8378, pp. 1-21, May 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Chi-Dung Phung, Matthieu Coudron, Stefano Secci |
Internet acceleration with LISP traffic engineering and multipath TCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIN ![In: 21st Conference on Innovation in Clouds, Internet and Networks and Workshops, ICIN 2018, Paris, France, February 19-22, 2018, pp. 1-8, 2018, IEEE, 978-1-5386-3458-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | David Cooper (eds.) |
Proceedings of the 11th European Lisp Symposium (ELS 2018), Marbella, Spain, April 16-17, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![ELSAA, 978-2-9557474-2-1 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Yuan Luo 0001, Peter Szolovits |
Implementing a Portable Clinical NLP System with a Common Data Model - a Lisp Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2018, Madrid, Spain, December 3-6, 2018, pp. 461-466, 2018, IEEE Computer Society, 978-1-5386-5488-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Junemuk Choi, Jian Li 0024, James Won-Ki Hong |
Design and Implementation of Fault-Tolerant LISP Mapping System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CFI ![In: Proceedings of the 13th International Conference on Future Internet Technologies, CFI 2018, Seoul, Republic of Korea, June 20-22, 2018, pp. 3:1-3:6, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Chiara Caiazza, Antonio Virdis, Giovanni Stea |
Simulating LISP-Based Multilink Communications in Aeronautical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OMNeT++ ![In: Proceedings of the 5th International OMNeT++ Community Summit, University of Pisa, Italy, September 05-07, 2018., pp. 43-51, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Tim Süß, Nils Döring, André Brinkmann, Lars Nagel 0001 |
And Now for Something Completely Different: Running Lisp on GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: IEEE International Conference on Cluster Computing, CLUSTER 2018, Belfast, UK, September 10-13, 2018, pp. 434-444, 2018, IEEE Computer Society, 978-1-5386-8319-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|