5451 search results - page 54 / 1091 » Typed Operational Semantics |
132
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
DAGSTUHL
2008
15 years 3 months ago
2008
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
121
click to vote
ICFP
1998
ACM
15 years 6 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
MSCS
2010
15 years 25 days ago
2010
tations of imperative abstract data types.
126
click to vote
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...