Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540787389, 9783540787396
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Realizability Model for Impredicative Hoare Type Theory

2008 ◽  
pp. 337-352 ◽  
Author(s):  
Rasmus Lerchedahl Petersen ◽  
Lars Birkedal ◽  
Aleksandar Nanevski ◽  
Greg Morrisett
Keyword(s):  
Type Theory

scholarly journals A Formal Implementation of Value Commitment

2008 ◽  
pp. 383-397 ◽  
Author(s):  
Cédric Fournet ◽  
Nataliya Guts ◽  
Francesco Zappa Nardelli
Load More ...
Sign in / Sign up

Export Citation Format

Share Document