Exceptions Are Strictly More Powerful Than Call Cc (1995)

by Mark Lillibridge
Venue:HigherOrder and Symbolic Computation
Citations:11 - 0 self

Active Bibliography

260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
102 Compiling with Types – Greg Morrisett - 1995
1 Kind Theory – Joseph R. Kiniry - 2002
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
Combining Recursive and Dynamic Types – Hans Leiss
Reflections in Opal – Klaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, Baltasar Trancón-y-Widemann, Technische Universitat Berlin
Unifying Nominal and Structural Ad-hoc Polymorphism – Geoffrey Washburn, Stephanie Weirich - 2004
2 Data structures and data types in objectoriented databases – Val Breazu-tannen, Peter Buneman, Atsushi Ohori - 1991
1 Jones.Scrap your boilerplate: a practical design pattern for generic programming.In Types – Generic Programming, Simon Peyton Jones, Ralf Lämmel, Ralf Lämmel - 2003
5 Java Bytecode as a Typed Term Calculus – Tomoyuki Higuchi, Atsushi Ohori - 2002
2 Hybrid applications over XML: Integrating the procedural and declarative approaches – Paolo Manghi, Fabio Simeoni, David Lievens, Richard Connor - 2002
4 Persistence and Type Abstraction Revisited – Atsushi Ohori, Ivan Tabkha, Richard Connor, Paul Philbrow - 1990
3 On the Semantics of a Concurrency Monad with Choice and Services – Des Fachbereichs Informatik, Thomas Frauenstein, Thomas Frauenstein, Wolfgang Grieskamp, Wolfgang Grieskamp, Mario Südholt, Mario Sudholt - 1996
1 The Missing Link -- Dynamic Components for ML (Extended) – Andreas Rossberg - 2006
12 Parallel Sets: An Object-Oriented Methodology for Massively Parallel Programming – Michael Francis Kilian - 1992
Computer Programming Dynamic typing: syntax and proof theory* – Fritz Henglein - 1992
4 Higher-Order Intensional Type Analysis in Type-Erasure Semantics – Stephanie Weirich - 2003
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989
Graduate Group Chairpersonc ○ Copyright 2001 – Michael Hicks, Scott M. Nettles, Val Tannen, Michael Hicks Acknowledgements - 2001