Παρακολούθηση
Ulysse Gérard
Ulysse Gérard
Université Paris Diderot
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα irif.fr
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Separating functional computation from relations
U Gérard, D Miller
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
102017
Computation-as-deduction in Abella: work in progress
K Chaudhuri, U Gérard, D Miller
13th international Workshop on Logical Frameworks and Meta-Languages: Theory …, 2018
32018
Computing with relations, functions, and bindings
U Gérard
Institut polytechnique de Paris, 2019
12019
Functional programming with λ syntax: a progress report
U Gérard, D Miller
13th international Workshop on Logical Frameworks and Meta-Languages: Theory …, 2018
12018
Functional programming with λ-tree syntax: Draft
U Gérard, D Miller
12018
Functional programming with λ-tree syntax
U Gérard, D Miller, G Scherer
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
2019
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–6