References of "Rahli, Vincent 50009167"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA Generic Approach to Proofs about Substitution
Anand, Abhishek; Rahli, Vincent UL

in LFMTP 2014 (2014)

Detailed reference viewed: 146 (2 UL)
Full Text
Peer Reviewed
See detailFormal Program Optimization in Nuprl Using Computational Equivalence and Partial Types
Rahli, Vincent UL; Bickford, Mark; Anand, Abhishek

in ITP 2013 (2013)

Detailed reference viewed: 102 (1 UL)
Full Text
See detailInterfacing with Proof Assistants for Domain Specific Programming Using EventML
Rahli, Vincent UL

Presentation (2012)

Detailed reference viewed: 57 (1 UL)
Full Text
Peer Reviewed
See detailA diversified and correct-by-construction broadcast service
Rahli, Vincent UL; Schiper, Nicolas; Renesse, Robbert Van et al

in ICNP 2012 (2012)

Detailed reference viewed: 85 (1 UL)
Full Text
See detailIntroduction to EventML
Bickford, Mark; Constable, Robert L.; Eaton, Richard et al

Report (2012)

Detailed reference viewed: 52 (1 UL)
Full Text
Peer Reviewed
See detailOn Realisability Semantics for Intersection Types with Expansion Variables.
Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent UL et al

in Fundamenta Informaticae (2012), 121

Detailed reference viewed: 69 (0 UL)
Full Text
Peer Reviewed
See detailReducibility proofs in the lambda-calculus
Kamareddine, Fairouz; Rahli, Vincent UL; Wells, J. B.

in Fundamenta Informaticae (2012), 121

Detailed reference viewed: 48 (0 UL)
Full Text
Peer Reviewed
See detailLogic of Events, a framework to reason about distributed systems
Bickford, Mark; Constable, Robert L.; Rahli, Vincent UL

Scientific Conference (2012)

Detailed reference viewed: 63 (2 UL)
Full Text
Peer Reviewed
See detailShadowDB: A Replicated Database on a Synthesized Consensus Core
Schiper, Nicolas; Rahli, Vincent UL; Renesse, Robbert Van et al

in HotDep 2012 (2012)

Detailed reference viewed: 46 (3 UL)
Full Text
See detailInvestigations in intersection types: Confluence, and semantics of expansion in the lambda-calculus, and a type error slicing method
Rahli, Vincent UL

Doctoral thesis (2011)

Detailed reference viewed: 58 (3 UL)
Full Text
See detailA constraint system for a SML type error slicer
Rahli, Vincent UL; Wells, J. B.; Kamareddine, Fairouz

Report (2010)

Detailed reference viewed: 56 (0 UL)
Full Text
Peer Reviewed
See detailSimplified Reducibility Proofs of Church-Rosser for beta- and beta-eta-reduction
Kamareddine, Fairouz; Rahli, Vincent UL

in Electronic Notes in Theoretical Computer Science (2009), 247

Detailed reference viewed: 55 (3 UL)
Full Text
Peer Reviewed
See detailReducibility Proofs in the λ-Calculi with Intersection Types
Kamareddine, Fairouz; Rahli, Vincent UL; Wells, J. B.

Scientific Conference (2008)

Detailed reference viewed: 39 (2 UL)
Full Text
Peer Reviewed
See detailA Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent UL et al

in ICTAC 2008 (2008)

Detailed reference viewed: 94 (0 UL)
Full Text
Peer Reviewed
See detailRealisability Semantics for Intersection Types and Expansion Variables
Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent UL et al

Scientific Conference (2008)

Detailed reference viewed: 35 (1 UL)
Full Text
Peer Reviewed
See detailUniform Circuits & Boolean Proof Nets
Mogbil, Virgile; Rahli, Vincent UL

in LFCS 2007 (2007)

Detailed reference viewed: 117 (0 UL)