PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Powiadomienia systemowe
Sesja wygasła!
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 102, nr 2
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2010
Identyfikatory
Zawartość wolumenu
Vol. 102, nr 2
artykuł:
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols
(
Brad E.
,
Hammond K.
), s. 145-176
artykuł:
A Tutorial Implementation of a Dependently Typed Lambda Calculus
(
Löh A.
,
McBride C.
,
Swierstra W.
), s. 177-207
artykuł:
Automation for Dependently Typed Functional Programming
(
Wilson S.
,
Fleuriot J.
,
Smaill A.
), s. 209-228
rozwiń roczniki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.