programmers resources
  http://www.intel-assembler.it/  (c)2017 intel-assembler.it   info@intel-assembler.it
 
Search :  
Lingua Italiana    English Language   
Index
 
just an empty assembly space
just an arrow Intel Platform
just an arrow Article & Guides
just an arrow Download Software


23/01/2009 Featured Article: How to remove Buzus Virus (permalink)




:::3141168:::
Bottone Scambio Directory Pubblicitaonline.it
Home Page | Articles & Guides | Download | Intel Platform | Contacts

Google
 


Bookmark and Share
Download 
Tell a friend



Principals in Programming Language

Technical Results

(by steve zdancewic / dan grossman)

Alta teoria della programmazione espressa nel linguaggio System F [Girard]. Vincitore del premio "Best Paper" al PLI99.
Nel documento sono descritte due varianti "typed lambda-calculus".
This article is online from 4204 days and has been seen 4863 times



The guide is ZIP compressed (pipl.zip)


Top
Download 
Tell a friend
Bookmark and Share



Similar Articles

Bifurcation of variables
An approach at protecting program functions
(by Lord Soth)

Stack-Based Typed Assembly Language
Una presentazione di STAL estensione di TAL
(by Morrisett/ Crary/ Walker/ Glew)

The Law & Economics of Reverse Engineering
71 pagine di analisi del reverse engineering
(by Pamela Samuelson/Suzanne Scotchmer)

 Tags: theory


webmaster jes
writers rguru, tech-g, aiguru, drAx

site optimized for IE/Firefox/Chrome with 1024x768 resolution

Valid HTML 4.01 Transitional


ALL TRADEMARKS ® ARE PROPERTY OF LEGITTIMATE OWNERS.
© ALL RIGHTS RESERVED.

hosting&web - www.accademia3.it

grossocactus
find rguru on
http://www.twitter.com/sicurezza3/
... send an email ...
Your name

Destination email

Message

captcha! Code