Autor: "TANTER, ÉRIC" - OpacWWW

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""TANTER, ÉRIC"" wg kryterium: Autor

Wyświetlanie 1-20 z 178

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: The Marriage of Univalence and Parametricity.
Autorzy:: TABAREAU, NICOLAS
TANTER, ÉRIC
SOZEAU, MATTHIEU; Pokaż więcej
Źródło:: Journal of the ACM. Jan2021, Vol. 68 Issue 1, p1-44. 44p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 2.

Tytuł:: Gradual System F.
Autorzy:: LABRADA, ELIZABETH
TORO, MATÍAS
TANTER, ÉRIC; Pokaż więcej
Temat:: PROGRAMMING languages
METATHEORY
SYNTAX (Grammar)
Źródło:: Journal of the ACM; Sep2022, Vol. 69 Issue 5, p1-78, 78p

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 3.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 4.

Tytuł:: Existential Types for Relaxed Noninterference
Autorzy:: Cruz, Raimil
Tanter, Éric; Pokaż więcej
Źródło:: Programming Languages and Systems : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings. 11893:73-92

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Gradual Program Verification
Autorzy:: Bader, Johannes
Aldrich, Jonathan
Tanter, Éric; Pokaż więcej
Źródło:: Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings. 10747:25-46

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A Gradual Interpretation of Union Types
Autorzy:: Toro, Matías
Tanter, Éric; Pokaż więcej
Źródło:: Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings. 10422:382-404

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice
Autorzy:: Figueroa, IsmaelAff21, Aff22
Tabareau, Nicolas
Tanter, Éric; Pokaż więcej
Źródło:: Transactions on Aspect-Oriented Software Development XI. 8400:145-192

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Effect Capabilities for Haskell
Autorzy:: Figueroa, IsmaelAff16, Aff17
Tabareau, Nicolas
Tanter, Éric; Pokaż więcej
Źródło:: Programming Languages : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings. 8771:92-108

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Extensions during Software Evolution: Do Objects Meet Their Promise?
Autorzy:: Robbes, Romain
Röthlisberger, David
Tanter, Éric; Pokaż więcej
Źródło:: ECOOP 2012 – Object-Oriented Programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. 7313:28-52

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging
Autorzy:: Pothier, Guillaume
Tanter, Éric; Pokaż więcej
Źródło:: ECOOP 2011 – Object-Oriented Programming : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings. 6813:558-582

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Gradual Typestate
Autorzy:: Wolff, Roger
Garcia, Ronald
Tanter, Éric
Aldrich, Jonathan; Pokaż więcej
Źródło:: ECOOP 2011 – Object-Oriented Programming : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings. 6813:459-483

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 13.

Tytuł:: Experimenting with Language Support for Proximity in Ambient-Oriented Programming
Autorzy:: Ramiro, Victor
Dedecker, Jessie
Tanter, Éric
Barron, Peter; Pokaż więcej
Źródło:: Engineering Environment-Mediated Multi-Agent Systems : International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers. 5049:259-283

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Object Technology for Ambient Intelligence and Pervasive Computing : Report on the OT4AmI-Workshop at ECOOP 2007
Autorzy:: Dedecker, JessieAff1, Aff2
Tanter, Éric
Mügge, Holger
Lopes, Cristina Videira
Cherrier, Pascal; Pokaż więcej
Źródło:: Object-Oriented Technology. ECOOP 2007 Workshop Reader : ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports. 4906:171-181

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 16.

Tytuł:: Unanticipated Partial Behavioral Reflection
Autorzy:: Röthlisberger, David
Denker, Marcus
Tanter, Éric; Pokaż więcej
Źródło:: Advances in Smalltalk : 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers. 4406:47-65

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Object Technology for Ambient Intelligence and Pervasive Computing: Language Constructs and Infrastructures
Autorzy:: Mügge, Holger
Cherrier, Pascal
De Meuter, Wolfgang
Tanter, Éric; Pokaż więcej
Źródło:: Object-Oriented Technology. ECOOP 2006 Workshop Reader : ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports. 4379:130-140

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Object-oriented software extensions in practice
Autorzy:: Robbes, Romain
Röthlisberger, David
Tanter, Éric; Pokaż więcej
Źródło:: Empirical Software Engineering: An International Journal. June 2015 20(3):745-782

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Aspects of Composition in the Reflex AOP Kernel
Autorzy:: Tanter, Éric; Pokaż więcej
Źródło:: Software Composition : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers. 4089:98-113

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Context-Aware Aspects
Autorzy:: Tanter, Éric
Gybels, Kris
Denker, Marcus
Bergel, Alexandre; Pokaż więcej
Źródło:: Software Composition : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers. 4089:227-242

Książka elektroniczna

na półce

Szczegóły

Wyświetlanie 1-20 z 178

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę ""TANTER, ÉRIC"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji