Showing
1 - 3
results of
3
for search '
Cardelli, Luca
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Cardelli, Luca
Luca Cardelli
Luca Andrea Cardelli
is an Italian
computer scientist
who is a research professor at the
University of Oxford
, UK. Cardelli is well known for his research in
type theory
and
operational semantics
. Among other contributions, in
programming language
s, he helped design the language
Modula-3
, implemented the first
compiler
for the (non-pure)
functional
language
ML
, defined the concept of ''typeful programming'', and helped develop the experimental language
Polyphonic C#
.
Provided by Wikipedia
Search Results
Showing
1 - 3
results of
3
for search '
Cardelli, Luca
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus
Get access
Get access
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus
Get access
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Related Subjects
Computer Science - Logic in Computer Science
FOS Computer and information sciences
Logic in Computer Science cs.LO
lang
phil
Loading...