Παρακολούθηση
Arnaud Spiwack
Arnaud Spiwack
Chief architect, Tweag
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα spiwack.net - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Linear Haskell: practical linearity in a higher-order polymorphic language
JP Bernardy, M Boespflug, RR Newton, S Peyton Jones, A Spiwack
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
972017
Extending Coq with imperative features and its application to SAT verification
M Armand, B Grégoire, A Spiwack, L Théry
International Conference on Interactive Theorem Proving, 83-98, 2010
962010
FeatherTrait: A modest extension of Featherweight Java
L Liquori, A Spiwack
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (2), 11, 2008
722008
A proof of strong normalisation using domain theory
T Coquand, A Spiwack
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 307-316, 2006
422006
Towards constructive homological algebra in type theory
T Coquand, A Spiwack
Towards Mechanized Mathematical Assistants, 40-54, 2007
262007
Constructively Finite?
T Coquand, A Spiwack
Universidad de La Rioja, 2010
23*2010
Extending feathertrait java with interfaces
L Liquori, A Spiwack
Theoretical Computer Science 398 (1-3), 243-260, 2008
162008
Verified Computing in Homological Algebra: A Journey Exploring the Power and Limits of Dependent Type Theory
A Spiwack
112011
The rooster and the syntactic bracket
H Herbelin, A Spiwack
19th International Conference on Types for Proofs and Programs (TYPES 2013 …, 2014
82014
Ajouter des entiers machine à Coq
A Spiwack
82006
An abstract type for constructing tactics in Coq
A Spiwack
Proof Search in Type Theory, 2010
72010
Featherweight-trait Java: a trait-based extension for FJ
L Liquori, A Spiwack
INRIA Sophia Antipolis-Méditerranée; INRIA, 2004
62004
A dissection of L, 2014
A Spiwack
URL http://assert-false. net/arnaud/papers, 2014
52014
Abstract interpretation as anti-refinement
A Spiwack
arXiv preprint arXiv:1310.4283, 2013
42013
A proof of strong normalisation using domain theory. Logic. Methods Comput
T Coquand, A Spiwack
Science 3 (4), 2007
42007
Evaluating linear functions to symmetric monoidal categories
JP Bernardy, A Spiwack
Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 14-26, 2021
32021
Coq 8.4 reference manual
P Boutillier, S Glondu, B Grégoire, H Herbelin, P Letouzey, PM Pédrot, ...
Inria, 2014
32014
Notes on axiomatising Hurkens's Paradox
A Spiwack
arXiv preprint arXiv:1507.04577, 2015
22015
A dissection of L
A SPIWACK
22014
Verified Computation in Homological Algebra
A Spiwack
2*2011
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20