Treffer
1 - 6
von
6
für Suche '
Jafery, Khurram A.
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Jafery, Khurram A.
Treffer
1 - 6
von
6
für Suche '
Jafery, Khurram A.
'
, Suchdauer: 0,58s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
Abstracting gradual typing moving forward: precise and space-efficient
von
Bañados Schwerter, Felipe
,
Clark, Alison M.
,
Jafery, Khurram A.
,
Garcia, Ronald
Veröffentlicht in
Proceedings of ACM on programming languages
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
Sums of uncertainty: refinements go gradual
von
Jafery, Khurram A.
,
Dunfield, Jana
Volltext
Tagungsbericht
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
Sums of Uncertainty: Refinements Go Gradual
von
Jafery, Khurram A
,
Dunfield, Jana
Volltext bestellen
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
4
Sums of Uncertainty: Refinements Go Gradual
von
Jafery, Khurram A
,
Dunfield, Jana
Veröffentlicht in
arXiv.org
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
5
Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report)
von
Schwerter, Felipe Bañados
,
Clark, Alison M
,
Jafery, Khurram A
,
Garcia, Ronald
Volltext bestellen
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
6
Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report)
von
Felipe Bañados Schwerter
,
Clark, Alison M
,
Jafery, Khurram A
,
Garcia, Ronald
Veröffentlicht in
arXiv.org
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
1 Treffer
1
Online Resources
6 Treffer
6
Format
Articles
5 Treffer
5
Conference Proceedings
1 Treffer
1
Zeitschriftentitel
Arxiv
2 Treffer
2
Proceedings Of Acm On Programming Languages
1 Treffer
1
Schlagworte
Computer Science
2 Treffer
2
Computer Science - Programming Languages
2 Treffer
2
Computer Science, Software Engineering
2 Treffer
2
Science & Technology
2 Treffer
2
Technology
2 Treffer
2
Annotations
1 Treffer
1
Cast Calculi
1 Treffer
1
Failure
1 Treffer
1
Gradual Typing
1 Treffer
1
Interpretation
1 Treffer
1
Invariants
1 Treffer
1
Languages
1 Treffer
1
Pattern Matching
1 Treffer
1
Run Time
1 Treffer
1
Semantics
1 Treffer
1
Subtyping
1 Treffer
1
Sums
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Proquest Central (Alumni)
2 Treffer
2
Acm Digital Library Complete
2 Treffer
2
Proquest Central Uk/Ireland
2 Treffer
2
Proquest Central Essentials
2 Treffer
2
Proquest Central
2 Treffer
2
Proquest One Community College
2 Treffer
2
Proquest Central Korea
2 Treffer
2
Free E- Journals
2 Treffer
2
Arxiv.org
2 Treffer
2
Ezb-Free-00999 Freely Available Ezb Journals
1 Treffer
1