Sciweavers

31686 search results - page 141 / 6338
» Resource typing in Guru
Sort
View
121
Voted
IJCNLP
2004
Springer
15 years 10 months ago
Parsing Mixed Constructions in a Type Feature Structure Grammar
Jong-Bok Kim, Jaehyung Yang
79
Voted
OOPSLA
2004
Springer
15 years 10 months ago
Object-oriented encapsulation for dynamically typed languages
Nathanael Schärli, Andrew P. Black, Sté...
SCOPES
2004
Springer
15 years 10 months ago
Fast Points-to Analysis for Languages with Structured Types
Michael Jung, Sorin A. Huss
VMCAI
2004
Springer
15 years 10 months ago
Security Types Preserving Compilation: (Extended Abstract)
Gilles Barthe, Amitabh Basu, Tamara Rezk
113
Voted
LICS
2003
IEEE
15 years 10 months ago
Types and Programming Languages: The Next Generation
Benjamin C. Pierce