Filtrer vos résultats
- 4
- 4
- 4
- 1
- 2
- 1
- 4
- 4
- 4
- 4
- 4
- 1
- 1
4 résultats
|
|
triés par
|
|
Computation-as-deduction in Abella: work in progress13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01806154v1
|
||
|
Functional programming with λ$-tree$ syntax: a progress report13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01806129v2
|
||
|
Separating Functional Computation from Relations26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden. pp.23:1--23:17
Communication dans un congrès
hal-01615683v1
|
||
|
Functional programming with $λ$-tree syntaxPPDP 2019 - 21st International Symposium on Principles and Practice of Programming Languages, Oct 2019, Porto, Portugal. pp.1-16, ⟨10.1145/3354166.3354177⟩
Communication dans un congrès
hal-02368906v1
|