Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Giulio Guerrieri
Lecturer
United KingdomResearch Interests
Explore related searches
Articles (6)
Year:
2025
We solve the inhabitation problem for a language called λ!, a subsuming paradigm (inspired by call-by-push-value) being able to encode, among others, call-by-name and call-by-value strategies of functional programming. The type specification uses a non-idempotent intersection type system, which is able to capture quantitative properties about the dynamics of programs. As an application, we show how our general methodology can be used to derive inhabitation algorithms for different lambda-calculi that are encodable into λ!.
Year:
2023
Year:
2022
Year:
2022
Year:
2022
Year:
2021
Collaborators (28)
Hamzeh Khanpour
Associate Professor
AGH University of Science and Technology
Vicent Mateu
Professor
Universidad de Salamanca
Delia Kesner
-
Jie Zhang
University of Bath
SINAN LI
Senior Lecturer (Associate Professor)
University of Sydney
Margaret Watson
University Of Strathclyde
Andrzej Siodmok
Jagiellonian University
Thibaut Lefevre
Head of the Beam Instrumentation group
European Organization for Nuclear Research
Barbara Anna Erdelyi
University of Padua
John Fox
Stanford University
Stefano Sorti
University of Milan
Zhongze Wu
Researcher
Southeast University
ALESSANDRO VICINI
Associate professor
Università degli Studi di Torino
Matteo Acclavio
University of Southern Denmark
Bernd Prof. Dr. Kniehl
Full Professor (C4)
Universität Hamburg
Peter Ratoff
University of Lancaster
Sourav Chatterjee
University of Bath
Farinaldo S. Queiroz
Full Professor
Federal University of Rio Grande do Norte
Bhartendu K Singh
Professor of Physics
Banaras Hindu University
Carsten P. Welsch
Distinguished Professor
University of Liverpool
Adil Jueid
Senior Researcher
Institute for Basic Science
Atif Hussain
University of Bath
Seung J. Lee
Professor
Korea University
Christopher Verhaaren
Assistant Professor
Brigham Young University
Alexander Lunt
University of Bath
Stephen Williams
University of Bath
Woong June Chung
Gachon University
Stefan Antusch
Professor of Theoretical Physics
University of Basel
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.