Sciweavers

10871 search results - page 251 / 2175
» A stable programming language
Sort
View
FPCA
1991
15 years 9 months ago
Making Abstract Machines Less Abstract
Hannan. Making Abstract Machines Less Abstract . In Proc. of FPCA'91, LNCS 523, pages
John Hannan
ICALP
1991
Springer
15 years 9 months ago
Ray Shooting in Polygons Using Geodesic Triangulations
Bernard Chazelle, Herbert Edelsbrunner, Michelange...
IFIP
1991
Springer
15 years 9 months ago
Supporting Designers' Access to Information through Virtually Structured Hypermedia
Raymond McCall, Jonathan L. Ostwald, Frank M. Ship...
ERLANG
2008
ACM
15 years 8 months ago
Refactoring module structure
László Lövei, Csaba Hoch, Hanna...
ICFP
2010
ACM
15 years 7 months ago
Semantic subtyping with an SMT solver
Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu...