Fundamenta Informaticae - Tom Vol. 102, nr 2 (2010) - BazTech - Yadda

Tom - szczegóły

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ć.